Added ignore deprecation warning and imported limits

jeffremer · Mar 21, 2011 · e1d74aa · e1d74aa
1 parent e458a63
commit e1d74aa
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -4,7 +4,7 @@
 
 # Compiler g++
 CCC = g++
-COMPILER_FLAGS = -Wall -O3
+COMPILER_FLAGS = -Wall -O3 -Wno-deprecated
 
 #the number of sons of the signature MDD nodes can be fixed, this is recommended!
 # (this might lead to a shorter runtime and it definitely leads to less memory consumption but a worse hitrate)

diff --git a/conBDD.cpp b/conBDD.cpp
@@ -22,7 +22,7 @@
 #include "conBDD.hpp"
 
 #include <stack>
-
+#include <limits>
 
 using namespace std;