diff options
Diffstat (limited to 'kernel/univ.ml')
| -rw-r--r-- | kernel/univ.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/kernel/univ.ml b/kernel/univ.ml index f179bd370..76fc0b12a 100644 --- a/kernel/univ.ml +++ b/kernel/univ.ml @@ -403,8 +403,10 @@ let pr_reln u r = | Terminal -> [< >] in prec r - + let pr_universes g = let graph = UniverseMap.fold (fun k a l -> (k,a)::l) g [] in prlist_with_sep pr_fnl (function (_,Arc(u,r)) -> pr_reln u r) graph + + |