Block can have 0 statement

sCrypt-Inc · Sep 10, 2019 · 6b7f536 · 6b7f536
1 parent 49a6206
commit 6b7f536
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/syntax.rst b/docs/syntax.rst
@@ -18,7 +18,7 @@ Formal Specification
             &\ \ \ |\ \ \mathrm{require}(expr);\\
             &\ \ \ |\ \ \mathrm{if}\ (expr)\ stmt\ [\mathrm{else}\ stmt]\\
             &\ \ \ |\ \ \mathrm{loop}\ (intConst)\ stmt\\
-            &\ \ \ |\ \ \{\ [stmt]^+\ \}\\
+            &\ \ \ |\ \ \{\ [stmt]^*\ \}\\
     expr &::= \mathsf{UnaryOp}\ expr\\
             &\ \ \ |\ \ expr\ \mathsf{BinaryOp}\ expr\\
             &\ \ \ |\ \ \mathrm{ID}(expr[,\ expr]^*)\\