fix build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Aug 31, 2024 · a1bcf13 · a1bcf13
1 parent 01a4195
commit a1bcf13
Show file tree

Hide file tree

Showing 2 changed files with 506 additions and 71 deletions.
diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
@@ -99,7 +99,6 @@ namespace smt {
         m_model_generator->set_context(this);
     }
 
-    ::
     /**
        \brief retrieve flag for when cancelation is possible.
     */
-Original file line number
+Diff line change
@@ Expand Up / @@ -99,7 +99,6 @@ namespace smt { @@
             m_model_generator->set_context(this);
         }
-        ::
         /**
            \brief retrieve flag for when cancelation is possible.
         */
@@ Expand Down @@