safety commit

viperproject · Oct 2, 2023 · 81cfc37 · 81cfc37
1 parent 9f08292
commit 81cfc37
Show file tree

Hide file tree

Showing 10 changed files with 1,208 additions and 1,152 deletions.
diff --git a/src/main/antlr4/GobraParser.g4 b/src/main/antlr4/GobraParser.g4
@@ -440,6 +440,11 @@ literalType:
 
 implicitArray: L_BRACKET ELLIPSIS R_BRACKET elementType;
 
+fieldDecl: GHOST? (
+		identifierList type_
+		| embeddedField
+	) tag = string_?;
+
 // ANTLR Grammar fixes
 
 // distinguish low,high cap