From 528eb39cf99270d8c66d3967d730c05dca1f3350 Mon Sep 17 00:00:00 2001
From: Dmitrii Naumenko <unkarjedy@mail.ru>
Date: Tue, 14 Jan 2020 16:32:35 +0300
Subject: [PATCH] replace ValDcl with VarDcl

---
 docs/docs/internals/syntax.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/docs/internals/syntax.md b/docs/docs/internals/syntax.md
index e688e554584b..3d4380d50bed 100644
--- 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