fixup! an SMT2 solver using boolbv and satcheckt

peterschrammel · peterschrammel · commit edccff4f88c6 · 2018-03-16T09:56:06.000Z
diff --git a/src/solvers/CMakeLists.txt b/src/solvers/CMakeLists.txt
@@ -1,3 +1,6 @@
+set(CMAKE_CXX_STANDARD 11)
+set(CMAKE_CXX_STANDARD_REQUIRED true)
+
 #   We may use one of several different solver libraries.
 #   The following files wrap the chosen solver library.
 #   We remove them all from the solver-library sources list, and then add the
