From 0693a413b6dc9facb8ae9ee484dc7d85d4fe89ec Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 30 Apr 2017 12:50:56 -0700 Subject: [PATCH] augment #955 to handle hyphen Signed-off-by: Nikolaj Bjorner --- src/parsers/smt2/smt2parser.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/parsers/smt2/smt2parser.cpp b/src/parsers/smt2/smt2parser.cpp index b7f33d333..8e72e50db 100644 --- a/src/parsers/smt2/smt2parser.cpp +++ b/src/parsers/smt2/smt2parser.cpp @@ -2219,7 +2219,7 @@ namespace smt2 { throw cmd_exception("invalid get-value command, empty list of terms"); next(); unsigned index = 0; - if (curr_is_keyword() && curr_id() == ":model_index") { + if (curr_is_keyword() && (curr_id() == ":model-index" || curr_id() == ":model_index")) { next(); check_int("integer index expected to indexed model evaluation"); if (!curr_numeral().is_unsigned())