X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fmpresentation.mli;h=53df1fb1d59a85e2f89499da6d11f6c2cd4f0c9d;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=53eb9927e5ebaa2f69fb7111bf2bcb52035a1a9f;hpb=f7b2e35a7bdadb4fdf0e640428e694703ddf67a5;p=helm.git

diff --git a/helm/ocaml/cic_transformations/mpresentation.mli b/helm/ocaml/cic_transformations/mpresentation.mli
index 53eb9927e..53df1fb1d 100644
--- a/helm/ocaml/cic_transformations/mpresentation.mli
+++ b/helm/ocaml/cic_transformations/mpresentation.mli
@@ -57,17 +57,11 @@ type
   (* Enlivening Expressions *)
   | Maction of attr * mpres list
 
-and
+and row = Mtr of attr * mtd list
 
-  row = Mtr of attr * mtd list
+and mtd = Mtd of attr * mpres
 
-and 
-
-  mtd = Mtd of attr * mpres
-
-and
-  
-  attr = (string * string) list
+and attr = (string option * string * string) list
 
 ;;