diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-08-03 11:56:51 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-03 11:56:51 -0500 |
commit | 243a1d58a139077ecf19ac8a68573e51c08e4621 (patch) | |
tree | 8fa7ae926032b6c6d7c10b269ba4b32afbf6af62 /src/theory/theory_model_builder.cpp | |
parent | fbc61a7bbe75c99b29cd238f552c18542deb5c32 (diff) |
Fix printing issue related to nested quotes (#3154)
Diffstat (limited to 'src/theory/theory_model_builder.cpp')
-rw-r--r-- | src/theory/theory_model_builder.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/theory_model_builder.cpp b/src/theory/theory_model_builder.cpp index b032dfec4..c4be41084 100644 --- a/src/theory/theory_model_builder.cpp +++ b/src/theory/theory_model_builder.cpp @@ -1005,7 +1005,7 @@ void TheoryEngineModelBuilder::assignFunction(TheoryModel* m, Node f) ufmt.simplify(); } std::stringstream ss; - ss << "_arg_" << f << "_"; + ss << "_arg_"; Node val = ufmt.getFunctionValue(ss.str().c_str(), condenseFuncValues); m->assignFunctionDefinition(f, val); // ufmt.debugPrint( std::cout, m ); |