diff options
| -rw-r--r-- | contrib/xml/xmlcommand.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/xml/xmlcommand.ml b/contrib/xml/xmlcommand.ml index 814266468..7b7ebd1dc 100644 --- a/contrib/xml/xmlcommand.ml +++ b/contrib/xml/xmlcommand.ml @@ -604,7 +604,8 @@ let _ = Declare.set_xml_declare_variable (function (sp,kn) -> let id = Libnames.basename sp in - print false (Libnames.VarRef id) (kind_of_variable id) xml_library_root) + print false (Libnames.VarRef id) (kind_of_variable id) xml_library_root ; + proof_to_export := None) ;; let _ = |