Skip to content
Browse files

Print universes in module printing

  • Loading branch information...
1 parent 6bcefa6 commit 6869b22e2546b69acb74e18dc491029897ba36a3 @mattam82 mattam82 committed Apr 28, 2014
Showing with 2 additions and 2 deletions.
  1. +2 −2 printing/printmod.ml
View
4 printing/printmod.ml
@@ -153,8 +153,8 @@ let print_body is_impl env mp (l,body) =
spc () ++
hov 2 (str ":= " ++
Printer.pr_lconstr_env env (Mod_subst.force_constr l))
- | _ -> mt ()) ++
- str ".")
+ | _ -> mt ()) ++ str "." ++
+ Printer.pr_universe_ctx cb.const_universes)
| SFBmind mib ->
try
let env = Option.get env in

0 comments on commit 6869b22

Please sign in to comment.
Something went wrong with that request. Please try again.