From 2eed6adf57a8fdcfbbeb5afd3b09cdf0085ee341 Mon Sep 17 00:00:00 2001
From: hackbard <hackbard@sage.physik.uni-augsburg.de>
Date: Wed, 13 Feb 2008 13:53:58 +0100
Subject: [PATCH] no DEBUG by default

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

diff --git a/Makefile b/Makefile
index 76ed2d2..b25487e 100644
--- a/Makefile
+++ b/Makefile
@@ -11,8 +11,8 @@ CFLAGS += -DALBE
 
 #CFLAGS += -DSTATIC_LISTS
 
-CFLAGS += -DDEBUG
-CFLAGS += -DDSTART=19 -DDEND=40 -DDATOM=5832
+#CFLAGS += -DDEBUG
+#CFLAGS += -DDSTART=19 -DDEND=40 -DDATOM=5832
 #CFLAGS += -DVDEBUG
 
 LDFLAGS = -lm
-- 
2.20.1