diff options
Diffstat (limited to 'src/theory/strings/theory_strings.h')
-rw-r--r-- | src/theory/strings/theory_strings.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/theory_strings.h b/src/theory/strings/theory_strings.h index 0ad11f30d..1ee6e6adc 100644 --- a/src/theory/strings/theory_strings.h +++ b/src/theory/strings/theory_strings.h @@ -183,7 +183,7 @@ class TheoryStrings : public Theory { void eqNotifyRewrite(TNode t1, TNode t2) override { - d_termReg.registerTerm(t2, 0); + // d_termReg.registerTerm(t2, 0); } private: |