From 26059c281a4a7000bd79c46d632cf8c5b2e8219b Mon Sep 17 00:00:00 2001
From: Christian Rinderknecht <Christian.Rinderknecht@tezcore.com>
Date: Wed, 5 Feb 2020 18:09:45 +0100
Subject: [PATCH] Forgot to check that function parameters are not reserved
 names.

---
 src/passes/1-parser/pascaligo/Scoping.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/passes/1-parser/pascaligo/Scoping.ml b/src/passes/1-parser/pascaligo/Scoping.ml
index 73a7012ac..2ac52f8d1 100644
--- a/src/passes/1-parser/pascaligo/Scoping.ml
+++ b/src/passes/1-parser/pascaligo/Scoping.ml
@@ -158,10 +158,12 @@ let check_variants variants =
 let check_parameters params =
   let add acc = function
     ParamConst {value; _} ->
+      check_reserved_name value.var;
       if VarSet.mem value.var acc then
         raise (Error (Duplicate_parameter value.var))
       else VarSet.add value.var acc
   | ParamVar {value; _} ->
+      check_reserved_name value.var;
       if VarSet.mem value.var acc then
         raise (Error (Duplicate_parameter value.var))
       else VarSet.add value.var acc in