Remove unused definitions

mgudemann · mgudemann · commit b494e27017d3 · 2025-03-27T08:02:07.000+01:00
diff --git a/src/ic3/dnf_io.hh b/src/ic3/dnf_io.hh
@@ -26,11 +26,6 @@ typedef std::set<int> SCUBE;
 typedef DNF CNF;
 typedef std::vector <float> FltCube;
 
-
-#define BUF_SIZE 1000
-#define MAX_NUM 20
-
-
 /*========================
 
  C L A S S    comp_lits
