Project

General

Profile

Revision df924fb3 src/utils.ml

View differences:

src/utils.ml
40 40
  let equal n1 n2 = n1 = n2
41 41
end
42 42

  
43
module IMap = Map.Make(IdentModule)
43
module IMap = Mmap.Make(IdentModule)
44 44

  
45 45
module ISet = Set.Make(IdentModule)
46 46

  

Also available in: Unified diff