diff options
Diffstat (limited to 'src/theory/quantifiers/alpha_equivalence.cpp')
-rw-r--r-- | src/theory/quantifiers/alpha_equivalence.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/alpha_equivalence.cpp b/src/theory/quantifiers/alpha_equivalence.cpp index b4f9ee015..643a652e7 100644 --- a/src/theory/quantifiers/alpha_equivalence.cpp +++ b/src/theory/quantifiers/alpha_equivalence.cpp @@ -130,7 +130,7 @@ Node AlphaEquivalenceDb::addTerm(Node q) } AlphaEquivalence::AlphaEquivalence(QuantifiersEngine* qe) - : d_aedb(qe->getTermCanonize()) + : d_termCanon(), d_aedb(&d_termCanon) { } |