diff --git a/GMLMIP-0.1/config.mk b/GMLMIP-0.1/config.mk
index 9b5d1ab09da6e141d8d07225fa3ec4abf8dd22b2..a3daed3253cd50b3e5f69d8535932d2974f12172 100644
--- a/GMLMIP-0.1/config.mk
+++ b/GMLMIP-0.1/config.mk
@@ -3,5 +3,5 @@ BISON = bison
 LEX = flex
 GCC = g++
 
-GCCFLAGS = -Wall -Wno-deprecated
+GCCFLAGS = -g -Wall -Wno-deprecated