Add missing <string> header for std::to_string

tautschnig · tautschnig · commit 46c23806846c · 2017-02-13T10:28:37.000Z
Fixes #532.
diff --git a/src/solvers/prop/aig.cpp b/src/solvers/prop/aig.cpp
@@ -8,7 +8,7 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include <cassert>
 #include <ostream>
-
+#include <string>
 
 #include "aig.h"
 
