projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Silence several warnings (missing _ in records, unused variables).
[tatoo.git]
/
src
/
auto
/
ata.ml
diff --git
a/src/auto/ata.ml
b/src/auto/ata.ml
index
e07aa3f
..
576941d
100644
(file)
--- 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"
*)
INCLUDE "utils.ml"
@@
-157,7
+157,7
@@
let print fmt a =
a.transitions
[]
in
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
let c = State.compare q1 q2 in - (if c == 0 then QNameSet.compare s1 s2 else c))
trs
in