X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Ftext%2Ftxt.ml;h=a2140585a6b95713becebbca5465e25649486628;hb=d1c9cdb2de96aa2dda6a7b25a4c4959b82b08f6c;hp=dbcc0675c3f2e24fa7c4e646b2e0326d05179418;hpb=ab13cfa248f0ee58d239ceeddfb50ec49a6b5c6d;p=helm.git

diff --git a/helm/software/lambda-delta/src/text/txt.ml b/helm/software/lambda-delta/src/text/txt.ml
index dbcc0675c..a2140585a 100644
--- a/helm/software/lambda-delta/src/text/txt.ml
+++ b/helm/software/lambda-delta/src/text/txt.ml
@@ -40,4 +40,3 @@ type command = Require of id list                (* required files: names *)
 	     | Section of id option              (* section: Some id = open, None = close last *)
 	     | Entity of kind * id * desc * term (* entity: class, name, description, contents *) 
              | Generate of term list             (* predefined generated entity: arguments *)
-