diff options
| author | Tim King <taking@cs.nyu.edu> | 2010-06-18 22:24:59 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2010-06-18 22:24:59 +0000 |
| commit | fd6af9181e763cd9564245114cfa47f3952484db (patch) | |
| tree | 0b058ad4e0624f1bf11ed9c65d63a4cfbdbdc66e /src/prop/prop_engine.h | |
| parent | 968f250b473d97db537aa7628bf111d15a2db299 (diff) | |
Merging the statistics branch into the main trunk. I'll go over how to use this Tuesday during the meeting. You'll need to run autogen and receonfigure after updating.
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. |