diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2021-10-18 11:36:02 -0500 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-10-20 05:38:32 -0700 |
| commit | 016ec86a67e805f2caf77a4990f11b1818f4ab1a (patch) | |
| tree | 678912aa132ad9082f71a40c5a2d575cf0736bbb | |
| parent | b376845332f8fdaa3bc4e149b8ef9a7ce5a52ed4 (diff) | |
Format
| -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(); |