diff options
| author | Guy <katz911@gmail.com> | 2016-07-27 19:03:13 -0700 |
|---|---|---|
| committer | Guy <katz911@gmail.com> | 2016-07-27 19:03:13 -0700 |
| commit | 4835c73a86d00bf20a88b9fc71964ac13ca08ef0 (patch) | |
| tree | 2999778fffe76ff7b940dc88f7b09b8250eba7cf /src/theory/theory_engine.h | |
| parent | 9242c63ff2564612f7ea719c3bd735be7c68bc00 (diff) | |
Proper instrumentation of the preprocessing phase
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 ea8628f9c..9316066a5 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -328,7 +328,7 @@ class TheoryEngine { /** * A helper function for registering lemma recipes with the proof engine */ - void registerLemmaRecipe(Node lemma, Node originalLemma, theory::TheoryId theoryId); + void registerLemmaRecipe(Node lemma, Node originalLemma, bool preprocess, theory::TheoryId theoryId); };/* class TheoryEngine::EngineOutputChannel */ /** |