diff options
Diffstat (limited to 'src/parser/smt/Smt.g')
| -rw-r--r-- | src/parser/smt/Smt.g | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/smt/Smt.g b/src/parser/smt/Smt.g index 429adee0a..f9c38385f 100644 --- a/src/parser/smt/Smt.g +++ b/src/parser/smt/Smt.g @@ -565,7 +565,7 @@ annotation[CVC4::Command*& smt_command] value.erase(value.begin(), std::find_if(value.begin(), value.end(), std::not1(std::ptr_fun<int, int>(std::isspace)))); value.erase(value.end() - 1); value.erase(std::find_if(value.rbegin(), value.rend(), std::not1(std::ptr_fun<int, int>(std::isspace))).base(), value.end()); - smt_command = new SetInfoCommand(key, value); } + smt_command = new SetInfoCommand(key.c_str() + 1, value); } )? { if(smt_command == NULL) { smt_command = new EmptyCommand(std::string("annotation: ") + key); |