- else let res = Pervasives.compare (a1,o1,-go1,p1) (a2,o2,-go2,p2)
- in if res = 0 then Pervasives.compare (HExtlib.list_index ((=) n1) oplist) (HExtlib.list_index ((=) n2) oplist)
+ else let res = Stdlib.compare (a1,o1,-go1,p1) (a2,o2,-go2,p2)
+ in if res = 0 then Stdlib.compare (HExtlib.list_index ((=) n1) oplist) (HExtlib.list_index ((=) n2) oplist)