diff options
Diffstat (limited to 'contrib/xml/xmlcommand.ml')
| -rw-r--r-- | contrib/xml/xmlcommand.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/contrib/xml/xmlcommand.ml b/contrib/xml/xmlcommand.ml index d020f3d78f..b05b7baa8f 100644 --- a/contrib/xml/xmlcommand.ml +++ b/contrib/xml/xmlcommand.ml @@ -225,7 +225,6 @@ 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 = |