diff options
Diffstat (limited to 'src/prop/prop_engine.h')
| -rw-r--r-- | src/prop/prop_engine.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h index 4adaa1434..c33982ddc 100644 --- a/src/prop/prop_engine.h +++ b/src/prop/prop_engine.h @@ -90,8 +90,7 @@ public: * PropEngine and Theory). For now, there's nothing to do here in * the PropEngine. */ - void shutdown() { - } + void shutdown() { } /** * Converts the given formula to CNF and assert the CNF to the sat solver. |