diff options
| -rw-r--r-- | src/parser/smt2/smt2.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/smt2/smt2.h b/src/parser/smt2/smt2.h index a72241870..8eba2623b 100644 --- a/src/parser/smt2/smt2.h +++ b/src/parser/smt2/smt2.h @@ -183,7 +183,7 @@ class Smt2 : public Parser api::Term func, const std::vector<api::Term>& flattenVars, std::vector<api::Term>& bvs); - /** Push scope for get-value + /** Push scope for get-value */ void pushGetValueScope(); |