X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Ftranscript%2Ftypes.ml;h=ba1619641cc345d2fc49a7146e72266dfdfe4992;hb=560db5569f54fba5bded568699a33947f88df3ba;hp=1fa7971b761bdccb0596eb6b27d973add38a3993;hpb=729e08f5fb86b3ffee460fda4577b024ab5888aa;p=helm.git

diff --git a/matita/components/binaries/transcript/types.ml b/matita/components/binaries/transcript/types.ml
index 1fa7971b7..ba1619641 100644
--- a/matita/components/binaries/transcript/types.ml
+++ b/matita/components/binaries/transcript/types.ml
@@ -37,7 +37,7 @@ type prefix = string
 
 type flavour = Cic.object_flavour option
 
-type params = GrafiteAst.inline_param list
+(* type params = GrafiteAst.inline_param list *)
 
 type item = Heading of (string * int)
           | Line of string
@@ -47,7 +47,7 @@ type item = Heading of (string * int)
           | Coercion of (local * string)
 	  | Notation of (local * string)
 	  | Section of (local * string * string)
-	  | Inline of (local * inline_kind * source * prefix * flavour * params)
+	  | Inline of (local * inline_kind * source * prefix * flavour)
           | Verbatim of string
 	  | Discard of string