aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/main/antlr4/FIRRTL.g41
-rw-r--r--src/test/scala/firrtlTests/ParserSpec.scala3
2 files changed, 3 insertions, 1 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
diff --git a/src/test/scala/firrtlTests/ParserSpec.scala b/src/test/scala/firrtlTests/ParserSpec.scala
index 610025ea..bb7c2ab2 100644
--- a/src/test/scala/firrtlTests/ParserSpec.scala
+++ b/src/test/scala/firrtlTests/ParserSpec.scala
@@ -88,7 +88,8 @@ class ParserSpec extends FirrtlFlatSpec {
"attach",
"assert",
"assume",
- "cover"
+ "cover",
+ "version"
) ++ PrimOps.listing
}