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