X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Ftranscript%2Ftypes.ml;h=2eb25a103c1677a50b2f0b822f9f302c8a8a9fdd;hb=32e77480c65cbf23ae7dea38a519c83dfeaf3830;hp=f0c8212bc47c3271c94045d895592f3a785aacbc;hpb=298868e07163c21863d542136733d24bfbec2482;p=helm.git

diff --git a/helm/software/components/binaries/transcript/types.ml b/helm/software/components/binaries/transcript/types.ml
index f0c8212bc..2eb25a103 100644
--- a/helm/software/components/binaries/transcript/types.ml
+++ b/helm/software/components/binaries/transcript/types.ml
@@ -37,7 +37,6 @@ type item = Heading of (string * int)
           | Line of string
 	  | Comment of string
           | Unexport of string
-          | BaseUri of string
 	  | Include of string
           | Coercion of (local * string)
 	  | Notation of (local * string)