diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-08-26 16:27:57 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-08-26 16:27:57 -0500 |
| commit | 9ac5255577a07e3bef123908d55003f89dea7619 (patch) | |
| tree | 81a74251576a2bdcb58a010a8d0eb83c57b71a9d /src/theory/quantifiers/term_database.cpp | |
| parent | 2e7ec13174e165cccc74159b5c6590d12894a674 (diff) | |
Basic support for EPR+CBQI. Minor cleanup.
Diffstat (limited to 'src/theory/quantifiers/term_database.cpp')
| -rw-r--r-- | src/theory/quantifiers/term_database.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/theory/quantifiers/term_database.cpp b/src/theory/quantifiers/term_database.cpp index d3a5e178f..5d8564adf 100644 --- a/src/theory/quantifiers/term_database.cpp +++ b/src/theory/quantifiers/term_database.cpp @@ -3125,7 +3125,6 @@ void TermDbSygus::printSygusTerm( std::ostream& out, Node n, std::vector< Node > std::string name = std::string( str.begin() + found +1, str.end() ); out << name; }else{ - Trace("ajr-temp") << "[[print operator " << op << "]]" << std::endl; out << op; } if( n.getNumChildren()>0 ){ |