From 30ac60c24ec1961f7aceedd69fb361797c56870c Mon Sep 17 00:00:00 2001
From: gnieark <gnieark@free.fr>
Date: Thu, 10 Dec 2015 20:53:48 +0100
Subject: [PATCH] battle ship functions

---
 src/arenas/Battleship/public.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/arenas/Battleship/public.php b/src/arenas/Battleship/public.php
index a5a20c0..e1b8907 100644
--- a/src/arenas/Battleship/public.php
+++ b/src/arenas/Battleship/public.php
@@ -1,5 +1,5 @@
 <?php
-//require_once(__DIR__."/functions.php");
+require_once(__DIR__."/functions.php");
 
 $bots=get_Bots_Array('"Battleship');
 $postParams=get_Post_Params(count($bots));