X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic_acic%2Fcic2Xml.ml;h=c90bc348c662c5c35dcdf3951946ee4de06ea53e;hb=fa6addea4fa1f37567dca9104164710870a50392;hp=afe22d37412596261f6c4aa9a09ea564137bdc30;hpb=61a2faa2694907757dd617175e0144705e79d65a;p=helm.git

diff --git a/helm/software/components/cic_acic/cic2Xml.ml b/helm/software/components/cic_acic/cic2Xml.ml
index afe22d374..c90bc348c 100644
--- a/helm/software/components/cic_acic/cic2Xml.ml
+++ b/helm/software/components/cic_acic/cic2Xml.ml
@@ -294,6 +294,8 @@ let xml_of_attrs attributes =
   in
   let flavour_of = function
     | `Definition -> Xml.xml_empty "flavour" [None, "value", "definition"]
+    | `MutualDefinition ->
+        Xml.xml_empty "flavour" [None, "value", "mutual_definition"]
     | `Fact -> Xml.xml_empty "flavour" [None, "value", "fact"]
     | `Lemma -> Xml.xml_empty "flavour" [None, "value", "lemma"]
     | `Remark -> Xml.xml_empty "flavour" [None, "value", "remark"]