fix: enforce trailing comma in parameter list for grammar rules

informalsystems · Sep 17, 2024 · 41c6292 · 41c6292
1 parent 1c22e64
commit 41c6292
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/quint/src/generated/Quint.g4 b/quint/src/generated/Quint.g4
@@ -37,7 +37,7 @@ declaration : 'const' qualId ':' type                     # const
 operDef
     : qualifier normalCallName
         // Fully-annotated parameter list with at least one parameter
-        '(' (annotOperParam+=annotatedParameter (',' annotOperParam+=annotatedParameter)*) ')'
+        '(' (annotOperParam+=annotatedParameter (',' annotOperParam+=annotatedParameter)*)','')'
         // Mandatory annotation for return type
         ':' type
         // We support header declaration with no implementation for documentation genaration