X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Ftranscript%2Ftypes.ml;h=1fa7971b761bdccb0596eb6b27d973add38a3993;hb=05fe6622703b84fde385b0caa19ff9e9886c482d;hp=28641d3d3d82b856512f022a1b337ab6a97eafe8;hpb=d3548c16f481b14ce94e64c790bc767c59590050;p=helm.git

diff --git a/helm/software/components/binaries/transcript/types.ml b/helm/software/components/binaries/transcript/types.ml
index 28641d3d3..1fa7971b7 100644
--- a/helm/software/components/binaries/transcript/types.ml
+++ b/helm/software/components/binaries/transcript/types.ml
@@ -43,7 +43,7 @@ type item = Heading of (string * int)
           | Line of string
 	  | Comment of string
           | Unexport of string
-	  | Include of string
+	  | Include of (bool * string)
           | Coercion of (local * string)
 	  | Notation of (local * string)
 	  | Section of (local * string * string)