Project

General

Profile

Revision 28c58de1

View differences:

src/causality.ml
439 439
  struct
440 440
    type t = var_decl
441 441
    let root_branch vdecl = Clocks.root vdecl.var_clock, Clocks.branch vdecl.var_clock
442
    let compare v1 v2 = compare (root_branch v2) (root_branch v1)
442
    let compare v1 v2 = compare (root_branch v2, v2.var_id) (root_branch v1, v1.var_id)
443 443
  end
444 444

  
445 445
  module CISet = Set.Make(ClockedIdentModule)
src/typing.ml
138 138
(* Equality on ground types only *)
139 139
(* Should be used between local variables which must have a ground type *)
140 140
let rec eq_ground t1 t2 =
141
  let t1 = repr t1 in
142
  let t2 = repr t2 in
143
  t1==t2 ||
141 144
  match t1.tdesc, t2.tdesc with
142 145
  | Tint, Tint | Tbool, Tbool | Trat, Trat | Treal, Treal -> true
143 146
  | Tenum tl, Tenum tl' when tl == tl' -> true

Also available in: Unified diff