Project

General

Profile

Revision 28c58de1 src/causality.ml

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)

Also available in: Unified diff