diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-12-11 14:47:08 -0600 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2012-12-11 15:59:20 -0500 |
commit | 8319e8d21f43b268168e4e66b1341630c7fb44e2 (patch) | |
tree | 56b4ac1ea1b4a6c01ccc72918d8e16088542916c /src/theory/quantifiers/theory_quantifiers.cpp | |
parent | 984d9e7352ece4e3dd75b4272074cf6a298b5eea (diff) |
adding cache for preprocessing datatypes terms to fix bug 475, fix for handling user attributes in quantifiers (was broken)
(cherry-picked from commit 206edb6f11674e954f5762a1db9712131151a276)
Diffstat (limited to 'src/theory/quantifiers/theory_quantifiers.cpp')
-rw-r--r-- | src/theory/quantifiers/theory_quantifiers.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/theory_quantifiers.cpp b/src/theory/quantifiers/theory_quantifiers.cpp index cfdb30f38..b1a7c9927 100644 --- a/src/theory/quantifiers/theory_quantifiers.cpp +++ b/src/theory/quantifiers/theory_quantifiers.cpp @@ -192,6 +192,6 @@ bool TheoryQuantifiers::restart(){ } } -void TheoryQuantifiers::setUserAttribute( std::string& attr, Node n ){ +void TheoryQuantifiers::setUserAttribute( const std::string& attr, Node n ){ QuantifiersAttributes::setUserAttribute( attr, n ); } |