From ccc07cc7b9fa3ba9247dce89e56ecad191cc0557 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= <gwenael.delaval@inria.fr>
Date: Tue, 31 Jul 2012 15:22:38 +0200
Subject: [PATCH] Unalias missing in obc translation

---
 compiler/main/mls2obc.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/main/mls2obc.ml b/compiler/main/mls2obc.ml
index 7ae8bae..6a9d68f 100644
--- a/compiler/main/mls2obc.ml
+++ b/compiler/main/mls2obc.ml
@@ -107,7 +107,7 @@ let rec ext_value_of_trunc_idx_list p l =
   let mk_between idx se =
     mk_exp_int (Eop (mk_pervasives "between", [idx; mk_ext_value_exp se.se_ty (Wconst se)]))
   in
-  let rec aux p l = match p.w_ty, l with
+  let rec aux p l = match Modules.unalias_type p.w_ty, l with
     | _, [] -> p
     | Tarray (ty', se), idx :: l -> aux (mk_ext_value ty' (Warray (p, mk_between idx se))) l
     | _ -> internal_error "mls2obc ext_value_of_trunc_idx_list"