na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Aug 24, 2020 · dc1783a · dc1783a
1 parent 3dedc13
commit dc1783a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/smt/smt_enode.h b/src/smt/smt_enode.h
@@ -25,6 +25,9 @@ Revision History:
 #include "util/approx_set.h"
 
 namespace smt {
+
+    class context;
+
     /**
        \brief Justification for the transitivity rule.
     */