From a6e90307691746f99342a033e194356f77445db4 Mon Sep 17 00:00:00 2001
From: Brian Demsky <bdemsky@uci.edu>
Date: Fri, 23 Jan 2015 21:09:56 -0800
Subject: [PATCH 1/1] edits

---
 zchaff64/sat_solver.cpp   | 2 +-
 zchaff64/zchaff_dbase.cpp | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/zchaff64/sat_solver.cpp b/zchaff64/sat_solver.cpp
index 618bca8..2368922 100644
--- a/zchaff64/sat_solver.cpp
+++ b/zchaff64/sat_solver.cpp
@@ -38,7 +38,7 @@
 #include <fstream>
 #include <cstdlib>
 #include <cstdio>
-
+#include <string.h>
 #include <set>
 #include <vector>
 #include <dirent.h>
diff --git a/zchaff64/zchaff_dbase.cpp b/zchaff64/zchaff_dbase.cpp
index 3e78c7f..f21768e 100644
--- a/zchaff64/zchaff_dbase.cpp
+++ b/zchaff64/zchaff_dbase.cpp
@@ -36,6 +36,7 @@
 #include <iostream>
 #include <vector>
 #include <set>
+#include <stdlib.h>
 
 using namespace std;
 
-- 
2.34.1