X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fauto%2Fata.ml;fp=src%2Fauto%2Fata.ml;h=576941d198f0e411524d6e726d8d5f84636cd5eb;hp=e07aa3f389560b45015ccd5f7a4c6f5ba1f25c3e;hb=a3d6ecbcea379fa51785848a5b8b53bca4e4bdd2;hpb=f749a3e33d759fddef63a69e54ff1336411d5e16

diff --git a/src/auto/ata.ml b/src/auto/ata.ml
index e07aa3f..576941d 100644
--- a/src/auto/ata.ml
+++ b/src/auto/ata.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-03-04 18:18:37 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-04 23:39:48 CET by Kim Nguyen>
 *)
 
 INCLUDE "utils.ml"
@@ -157,7 +157,7 @@ let print fmt a =
       a.transitions
       []
   in
-  let sorted_trs = List.stable_sort (fun (q1, s1, phi1) (q2, s2, phi2) ->
+  let sorted_trs = List.stable_sort (fun (q1, s1, _) (q2, s2, _) ->
     let c = State.compare q1 q2 in - (if c == 0 then QNameSet.compare s1 s2 else c))
     trs
   in