Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
grammar: fix TypeBoolean
Browse files Browse the repository at this point in the history
was previously missing quotation marks.
katrinafyi authored Jul 2, 2024

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
1 parent 535a650 commit 7470ffb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion libASL/Semantics.g4
Original file line number Diff line number Diff line change
@@ -46,7 +46,7 @@ type_register_slices:

type:
'Type_Bits' OPEN_PAREN expr CLOSE_PAREN # TypeBits
| 'Type_Constructor(boolean)' # TypeBoolean
| 'Type_Constructor("boolean")' # TypeBoolean
| 'Type_Constructor(' ident ')' # TypeConstructor
| 'Type_Register' OPEN_PAREN QUOTE width=integer QUOTE type_register_slices CLOSE_PAREN # TypeRegister
;

0 comments on commit 7470ffb

Please sign in to comment.