Revert "Fixed compilation problem." Didn't work on Travis.

This reverts commit 9093b66.
SRI-CSL · Aug 15, 2019 · c1e7999 · c1e7999
1 parent 9093b66
commit c1e7999
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/smt/dreal/dreal_internal.cpp b/src/smt/dreal/dreal_internal.cpp
@@ -464,7 +464,7 @@ solver::result dreal_internal::check() {
   // Set bounds if needed
   if (d_ctx_bounded) {
     TRACE("dreal") << "dreal[" << instance() << "]: bounded check, precision = " << d_ctx_bounded->config().precision() << std::endl;
-    std::experimental::optional<Box> res = d_ctx_bounded->CheckSat();
+    optional<Box> res = d_ctx_bounded->CheckSat();
     // If we got a model check the result and use it
     if (res) {
       TRACE("dreal") << "dreal[" << instance() << "]: seems sat" << std::endl;
@@ -482,7 +482,7 @@ solver::result dreal_internal::check() {
     }
   }
 
-  if (std::experimental::optional<Box> res = d_ctx->CheckSat()) {
+  if (optional<Box> res = d_ctx->CheckSat()) {
     TRACE("dreal") << "dreal[" << instance() << "]: checking model" << std::endl;
     // If sat then dreal returns a mapping from a variable to an interval.
     // We return sat only if all intervals are singleton