Commit 499a809d authored by Valentin Perrelle's avatar Valentin Perrelle Committed by Virgile Prevosto
Browse files

[Aorai] fix Ocaml 4.08 warnings

parent 6ca4f146
......@@ -31,7 +31,7 @@ type transition = Promelaast.typed_trans
module Vertex =
struct
type t = state
let compare x y = Pervasives.compare x.nums y.nums
let compare x y = Stdlib.compare x.nums y.nums
let hash x = Hashtbl.hash x.nums
let equal x y = x.nums = y.nums
let default = {
......@@ -43,7 +43,7 @@ end
module Edge =
struct
type t = transition
let compare x y = Pervasives.compare x.numt y.numt
let compare x y = Stdlib.compare x.numt y.numt
let default = {
numt = -1; start = Vertex.default; stop = Vertex.default;
cross = TTrue; actions = []
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment