From bf4d80c5a3b8c81ec1e637de18dde12effd20da6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gwena=EBl=20Delaval?= Date: Wed, 11 May 2011 14:25:45 +0200 Subject: [PATCH] Correction of Mls_compare for new AST --- compiler/minils/mls_compare.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/minils/mls_compare.ml b/compiler/minils/mls_compare.ml index 3a0ce01..04fd632 100644 --- a/compiler/minils/mls_compare.ml +++ b/compiler/minils/mls_compare.ml @@ -104,7 +104,7 @@ and app_compare app1 app2 = if cr <> 0 then cr else let cr = match app1.a_op, app2.a_op with | Efun ln1, Efun ln2 -> compare ln1 ln2 | x, y when x = y -> 0 (* all constructors can be compared with P.compare *) - | (Eequal | Etuple | Efun _ | Enode _ | Eifthenelse + | (Eequal | Efun _ | Enode _ | Eifthenelse | Efield_update), _ -> -1 | (Earray | Earray_fill | Eselect | Eselect_slice | Eselect_dyn | Eselect_trunc | Eupdate | Econcat ), _ -> 1 in