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 f125826d3..39d834891 100644 --- a/src/parser/smt/Smt.g +++ b/src/parser/smt/Smt.g @@ -595,7 +595,7 @@ ROTATE_LEFT_TOK : 'rotate_left'; ROTATE_RIGHT_TOK : 'rotate_right'; /** - * Mathces a bit-vector constant of the form bv123 + * Matches a bit-vector constant of the form bv123 */ BITVECTOR_BV_CONST : 'bv' DIGIT+ |