From 134c7a2498f62655d6a5018b0bfa3e978dd9baa8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Mon, 13 Sep 2010 11:22:31 +0200 Subject: [PATCH] Fix normalization of ^n operator --- compiler/minils/transformations/normalize.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/minils/transformations/normalize.ml b/compiler/minils/transformations/normalize.ml index 25f90b8..c62b8ef 100644 --- a/compiler/minils/transformations/normalize.ml +++ b/compiler/minils/transformations/normalize.ml @@ -233,7 +233,7 @@ and translate_app kind context op e_list = let context, e_list = translate_list kind context e_list in context, e_list | Earray_fill, [e] -> - let context, e = translate VRef context e in + let context, e = translate Exp context e in context, [e] | Eselect, [e'] -> let context, e' = translate VRef context e' in