The `Record class now records also the name of the fields

[helm.git] / helm / ocaml / cic_transformations / cic2Xml.ml

diff --git a/helm/ocaml/cic_transformations/cic2Xml.ml b/helm/ocaml/cic_transformations/cic2Xml.ml
index 1facd4fd9c59cb7c2d65af71495df96192f43ed4..8bf8d5f3b389aac676e64d9a38dbc02991b224d6 100644 (file)
--- a/helm/ocaml/cic_transformations/cic2Xml.ml
+++ b/helm/ocaml/cic_transformations/cic2Xml.ml
@@ -266,7 +266,7 @@ let xml_of_attrs attributes =
     | `Elim Cic.CProp -> "elimCProp"
     | `Elim Cic.Set -> "elimSet"
     | `Elim (Cic.Type _) -> "elimType"
-    | `Record -> "record"
+    | `Record _ -> "record"
     | `Projection -> "projection"
   in
   let xml_attr_of = function