added missing header

Former-commit-id: b3b4deddb7
10 years ago · b418782bcd
2 changed files with 111 additions and 110 deletions
--- a/src/utility/solver.h
+++ b/src/utility/solver.h
@ -3,6 +3,7 @@

 #include <set>
 #include <vector>
+#include <memory>

 #include "src/storage/dd/DdType.h"
 #include "src/solver/SolverSelectionOptions.h"