X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fmpresentation.ml;h=4dde38a366cc88967093b98ae73f7fb51cfeede0;hb=4a01e6197e070d3eff7a3fe02180597136d81eba;hp=de1172d2a9494c78f8af7085e1342414f770ee6e;hpb=62820aacb94856be5cd2e125032669245ca1408d;p=helm.git

diff --git a/helm/ocaml/cic_transformations/mpresentation.ml b/helm/ocaml/cic_transformations/mpresentation.ml
index de1172d2a..4dde38a36 100644
--- 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)
  >]
-;;
+
+