diff options
Diffstat (limited to 'src/prop/prop_engine.h')
-rw-r--r-- | src/prop/prop_engine.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h index b43c2d859..e1a1c08d7 100644 --- a/src/prop/prop_engine.h +++ b/src/prop/prop_engine.h @@ -48,9 +48,6 @@ class PropEngine { */ bool d_inCheckSat; - /** The global options */ - //const Options d_options; - /** The theory engine we will be using */ TheoryEngine *d_theoryEngine; @@ -72,7 +69,7 @@ public: /** * Create a PropEngine with a particular decision and theory engine. */ - PropEngine(TheoryEngine*, context::Context*, const Options&); + PropEngine(TheoryEngine*, context::Context*); /** * Destructor. |