From d2979fd4dd0f8fba041072e1163069aaeb1ec2db Mon Sep 17 00:00:00 2001 From: Adrien Guatto Date: Tue, 17 Aug 2010 15:26:19 +0200 Subject: [PATCH] Fixed bug in Sarray_power typing. --- compiler/heptagon/analysis/typing.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/heptagon/analysis/typing.ml b/compiler/heptagon/analysis/typing.ml index a7276a6..f7880d0 100644 --- a/compiler/heptagon/analysis/typing.ml +++ b/compiler/heptagon/analysis/typing.ml @@ -470,7 +470,7 @@ and typing_static_exp const_env se = | Sarray_power (se, n) -> let typed_n = expect_static_exp const_env (Tid Initial.pint) n in let typed_se, ty = typing_static_exp const_env se in - Sarray_power (typed_se, typed_n), Tarray(ty, n) + Sarray_power (typed_se, typed_n), Tarray(ty, typed_n) | Sarray [] -> message se.se_loc Eempty_array | Sarray (se::se_list) ->