Fixup - Add include of memory for unique_ptr

Author: thomasspriggs

src/solvers/sat/satcheck_minisat2.h

@@ -14,6 +14,8 @@ Author: Daniel Kroening, [email protected]
 
 #include <solvers/hardness_collector.h>
 
+#include <memory>
+
 // Select one: basic solver or with simplification.
 // Note that the solver with simplifier isn't really robust
 // when used incrementally, as variables may disappear