diff options
| author | Tim King <taking@cs.nyu.edu> | 2010-11-15 23:51:38 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2010-11-15 23:51:38 +0000 |
| commit | da6e14331b883dba0e48bc9879f611376e30bf36 (patch) | |
| tree | c278574871b64bd8af2332e508e23d5a53dbc1e3 /src/theory/theory_engine.h | |
| parent | 5e5956d492ab18b5b4d4bb51117ac760867a525d (diff) | |
Changes to Solver and PropEngine to support lemmasOnDemand during solve but not yet in d_checkSat.
Diffstat (limited to 'src/theory/theory_engine.h')
| -rw-r--r-- | src/theory/theory_engine.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h index 813b38d93..7958d977e 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -318,7 +318,7 @@ public: } inline void newLemma(TNode node) { - d_propEngine->assertSafeLemma(preprocess(node)); + d_propEngine->assertLemma(preprocess(node)); } /** |