additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supported; work on Result type (biggest noticeable change is that CVC4 now outputs lowercase "sat" and "unsat"), Options class moved to src/smt, to allow for future work on runtime configuration via (set-option) command

1 files changed, 2 insertions, 2 deletions

diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h
index 7eb903180..1dada2e69 100644
--- a/src/prop/prop_engine.h
+++ b/src/prop/prop_engine.h
@@ -25,12 +25,12 @@
 
 #include "expr/node.h"
 #include "util/result.h"
-#include "util/options.h"
 #include "util/decision_engine.h"
 
 namespace CVC4 {
 
 class TheoryEngine;
+class Options;
 
 namespace prop {
 
@@ -133,7 +133,7 @@ public:
 
 };/* class PropEngine */
 
-}/* prop namespace */
+}/* CVC4::prop namespace */
 }/* CVC4 namespace */
 
 #endif /* __CVC4__PROP_ENGINE_H */