edits
[satlib.git] / zchaff64 / zchaff_dbase.cpp
index 3e78c7f..f21768e 100644 (file)
@@ -36,6 +36,7 @@
 #include <iostream>
 #include <vector>
 #include <set>
+#include <stdlib.h>
 
 using namespace std;