diff options
Diffstat (limited to 'src/theory/bv/bv_quick_check.h')
-rw-r--r-- | src/theory/bv/bv_quick_check.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/bv/bv_quick_check.h b/src/theory/bv/bv_quick_check.h index c5fe63ad6..d163bf7f9 100644 --- a/src/theory/bv/bv_quick_check.h +++ b/src/theory/bv/bv_quick_check.h @@ -97,7 +97,7 @@ public: * @return */ uint64_t computeAtomWeight(TNode atom, NodeSet& seen); - void collectModelInfo(theory::TheoryModel* model, bool fullModel); + bool collectModelInfo(theory::TheoryModel* model, bool fullModel); typedef std::unordered_set<TNode, TNodeHashFunction>::const_iterator vars_iterator; vars_iterator beginVars(); |