Correction of Mls_compare for new AST

This commit is contained in:
Gwenal Delaval 2011-05-11 14:25:45 +02:00
parent a9aa794b18
commit bf4d80c5a3

View file

@ -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