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

Index: alt-ergo/Makefile.users
===================================================================
--- alt-ergo.orig/Makefile.users	2014-12-30 18:27:36.311316118 +0100
+++ alt-ergo/Makefile.users	2014-12-30 18:28:37.207317103 +0100
@@ -9,7 +9,7 @@
 INCLUDES = $(ZARITHLIB) $(OCAMLGRAPHLIB) $(LABLGTK2LIB) $(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 -g $(INCLUDES)
+BFLAGS = -annot $(INCLUDES)
 OFLAGS = -annot -inline 100 $(INCLUDES)
 # -for-pack AltErgo
 
