diff options
Diffstat (limited to 'src/theory/arrays/inference_manager.h')
| -rw-r--r-- | src/theory/arrays/inference_manager.h | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/theory/arrays/inference_manager.h b/src/theory/arrays/inference_manager.h index 96af0b677..99e586fe4 100644 --- a/src/theory/arrays/inference_manager.h +++ b/src/theory/arrays/inference_manager.h @@ -47,15 +47,13 @@ class InferenceManager : public TheoryInferenceManager */ bool assertInference(TNode atom, bool polarity, InferenceId id, TNode reason, PfRule pfr); /** - * Send lemma (exp => conc) based on proof rule id with properties p. Cache - * the lemma if doCache is true. + * Send lemma (exp => conc) based on proof rule id with properties p. */ bool arrayLemma(Node conc, InferenceId id, Node exp, PfRule pfr, - LemmaProperty p = LemmaProperty::NONE, - bool doCache = false); + LemmaProperty p = LemmaProperty::NONE); private: /** |