diff options
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/obligations.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/obligations.ml b/toplevel/obligations.ml index ed315bcf5d..d8f08cafd0 100644 --- a/toplevel/obligations.ml +++ b/toplevel/obligations.ml @@ -440,7 +440,7 @@ let subst_deps_obl obls obl = let t' = subst_deps true obls obl.obl_deps obl.obl_type in { obl with obl_type = t' } -module ProgMap = Map.Make(struct type t = Id.t let compare = Id.compare end) +module ProgMap = Map.Make(Id) let map_replace k v m = ProgMap.add k v (ProgMap.remove k m) |