aboutsummaryrefslogtreecommitdiff
path: root/src/main
diff options
context:
space:
mode:
Diffstat (limited to 'src/main')
-rw-r--r--src/main/antlr4/FIRRTL.g41
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/antlr4/FIRRTL.g4 b/src/main/antlr4/FIRRTL.g4
index 10a87c9e..047cd83d 100644
--- a/src/main/antlr4/FIRRTL.g4
+++ b/src/main/antlr4/FIRRTL.g4
@@ -281,6 +281,7 @@ keywordAsId
| 'assert'
| 'assume'
| 'cover'
+ | 'version'
;
// Parentheses are added as part of name because semantics require no space between primop and open parentheses