diff options
Diffstat (limited to 'src/theory/fp/theory_fp.cpp')
| -rw-r--r-- | src/theory/fp/theory_fp.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/fp/theory_fp.cpp b/src/theory/fp/theory_fp.cpp index 788545b3c..2632a6f38 100644 --- a/src/theory/fp/theory_fp.cpp +++ b/src/theory/fp/theory_fp.cpp @@ -962,7 +962,7 @@ void TheoryFp::check(Effort level) { while (!done() && !d_conflict) { // Get all the assertions Assertion assertion = get(); - TNode fact = assertion.assertion; + TNode fact = assertion.d_assertion; Debug("fp") << "TheoryFp::check(): processing " << fact << std::endl; |