fixed XML pretty-printer

parent 0fdec8a4
......@@ -699,7 +699,7 @@ and save_ty fmt ty =
let save_theory ctxt fmt t =
fprintf fmt
"@\n@[<v 1>@[<h><theory@ %a@ sum=\"%a\"%a>@]"
"@\n@[<v 1>@[<h><theory@ %a%a%a>@]"
save_ident t.theory_name
(opt save_checksum "sum") t.theory_checksum
(save_bool_def "expanded" false) t.theory_expanded;
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment