From: Mehdi Dogguy <mehdi@debian.org>
Date: Tue, 1 Jun 2010 20:41:04 +0200
Subject: No need to activate debug flag

---
 Makefile.users | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.users b/Makefile.users
index 63e7bf2..bcba9f7 100644
--- a/Makefile.users
+++ b/Makefile.users
@@ -11,8 +11,8 @@ LOCAL_INC = -I lib/util -I lib/structures -I lib/reasoners \
 INCLUDES = $(ZARITHLIB) $(LABLGTK2LIB)  $(CAMLZIPLIB) $(OCPLIBSIMPLEXLIB) $(LOCAL_INC)
 #for coverage # -I /usr/local/lib/ocaml/3.12.1/bisect -pp "camlp4o str.cma /usr/local/lib/ocaml/3.12.1/bisect/bisect_pp.cmo"
 
-BFLAGS = -annot -absname -bin-annot -short-paths -strict-sequence -g $(INCLUDES)
-OFLAGS = -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 $(INCLUDES) -for-pack AltErgo
+BFLAGS = -annot -absname -bin-annot -short-paths -strict-sequence $(INCLUDES)
+OFLAGS = -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 $(INCLUDES) -for-pack AltErgo
 
 BIBBYTE = zarith.cma nums.cma unix.cma dynlink.cma str.cma zip.cma ocplibSimplex.cma
 # for coverage bisect.cma 
