reset makefile to remove declare NDEBUG

gaperez64 · Jun 22, 2016 · 427ac6f · 427ac6f
1 parent 2559d63
commit 427ac6f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/source/Makefile b/source/Makefile
@@ -1,5 +1,5 @@
 CXX=g++
-CXXFLAGS=-Wall -std=c++11 -pthread -O3 #-D NDEBUG
+CXXFLAGS=-Wall -std=c++11 -pthread -O3 -D NDEBUG
 HEADERS=abssynthe.h logging.h aig.h aiger.h
 SOURCES=abssynthe.cpp logging.cpp aig.cpp aiger.c aigtocnf.c algos.cpp
 CUDD_PATH=cudd-2.5.1