attributes now in the proof status: commit 4

[helm.git] / helm / software / components / cic_acic / cic2Xml.ml

diff --git a/helm/software/components/cic_acic/cic2Xml.ml b/helm/software/components/cic_acic/cic2Xml.ml
index 31765f0552e8005d3c9168138a981026514dd38a..afe22d37412596261f6c4aa9a09ea564137bdc30 100644 (file)
--- a/helm/software/components/cic_acic/cic2Xml.ml
+++ b/helm/software/components/cic_acic/cic2Xml.ml
@@ -290,6 +290,7 @@ let xml_of_attrs attributes =
               res >]
            ) field_names [<>])
     | `Projection -> Xml.xml_empty "class" [None,"value","projection"]
+    | `InversionPrinciple -> Xml.xml_empty "class" [None,"value","inversion"]
   in
   let flavour_of = function
     | `Definition -> Xml.xml_empty "flavour" [None, "value", "definition"]