diff options
Diffstat (limited to 'contrib/xml/xmlcommand.ml')
| -rw-r--r-- | contrib/xml/xmlcommand.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/xml/xmlcommand.ml b/contrib/xml/xmlcommand.ml index b05b7baa8f..d020f3d78f 100644 --- a/contrib/xml/xmlcommand.ml +++ b/contrib/xml/xmlcommand.ml @@ -225,6 +225,7 @@ let print_object uri obj sigma proof_tree_infos filename = proof_tree_to_flattened_proof_tree constr_to_ids in pp xmlprooftree (prooftree_filename_of_filename filename) + () ;; let string_list_of_named_context_list = |