CSC: tentative definition of the ocaml structure that represents

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

diff --git a/helm/ocaml/cic_transformations/mpresentation.ml b/helm/ocaml/cic_transformations/mpresentation.ml
index de1172d2a9494c78f8af7085e1342414f770ee6e..4dde38a366cc88967093b98ae73f7fb51cfeede0 100644 (file)
--- a/helm/ocaml/cic_transformations/mpresentation.ml
+++ b/helm/ocaml/cic_transformations/mpresentation.ml
@@ -219,4 +219,5 @@ let print_mpres pres =
       Some "xmlns","xlink","http://www.w3.org/1999/xlink"
      ] (print_mpres pres)
  >]
-;;
+
+