replace ValDcl with VarDcl

unkarjedy · web-flow · commit 528eb39cf992 · 2020-01-14T16:32:35.000+03:00
diff --git a/docs/docs/internals/syntax.md b/docs/docs/internals/syntax.md
@@ -348,7 +348,7 @@ Export            ::=  ‘export’ [‘given’] ImportExpr {‘,’ ImportExpr
 
 ### Declarations and Definitions
 ```ebnf
-RefineDcl         ::=  ‘val’ VarDcl
+RefineDcl         ::=  ‘val’ ValDcl
                     |  ‘def’ DefDcl
                     |  ‘type’ {nl} TypeDcl
                     |  INT
