dependences update

[helm.git] / helm / software / matita / contribs / LAMBDA-TYPES / Legacy-2 / coq / defs.mma

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Legacy-2/coq/defs.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Legacy-2/coq/defs.mma
index a2dd820a13dab13ddb4bf316daf0601b896585aa..175a39cdd6cbb7cd61f6c9c2ebf9d3244618699a 100644 (file)
--- a/helm/software/matita/contribs/LAMBDA-TYPES/Legacy-2/coq/defs.mma
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/Legacy-2/coq/defs.mma
@@ -16,5 +16,3 @@
 
 include "Legacy-2/preamble.ma".
 
-inline procedural "Legacy-1/coq/defs.ma".
-