Blob Blame History Raw
--- check.cpp.orig	2010-10-26 16:20:58.000000000 -0600
+++ check.cpp	2012-12-04 09:09:16.366199168 -0700
@@ -11,6 +11,7 @@
 #include <stack>
 #include <string.h>
 #include <time.h>
+#include <unistd.h>
 #include "scccode.h"
 #include "print_smt2.h"