diff options
Diffstat (limited to 'src/prop/prop_engine.h')
| -rw-r--r-- | src/prop/prop_engine.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h index d4007e73a..4ea5e3b78 100644 --- a/src/prop/prop_engine.h +++ b/src/prop/prop_engine.h @@ -77,14 +77,14 @@ public: * The formula is asserted permanently for the current context. * @param node the formula to assert */ - void assertFormula(const Node& node); + void assertFormula(TNode node); /** * Converts the given formula to CNF and assert the CNF to the sat solver. * The formula can be removed by the sat solver. * @param node the formula to assert */ - void assertLemma(const Node& node); + void assertLemma(TNode node); /** * Checks the current context for satisfiability. |