X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=grammar%2Fgrammar.txt;h=f78b879ad979c0f53b7cc5671be42114e29f57ae;hb=5d40ca411bed8014f9bf081436208d831ac5c972;hp=ce6732b87b223a68a8ea0614cb32936730b15341;hpb=6b3981fb80952fe2c510b6f9b849adb0dff77d2c;p=cc1516.git

diff --git a/grammar/grammar.txt b/grammar/grammar.txt
index ce6732b..f78b879 100644
--- a/grammar/grammar.txt
+++ b/grammar/grammar.txt
@@ -1,3 +1,5 @@
+<Prog>         ::= <VarDecl>* <FunDecl>+
+
 <FunDecl>      ::= <id> '(' <Type>* ')' ['::' <FunType] '{' <VarDecl>* <Stmt>+ '}'
 <FunType>      ::= <Type>+ '->' <VoidType>
                  | <VoidType>