contribs should now compile

[helm.git] / matita / contribs / LAMBDA-TYPES / Base-1 / spare.ma

diff --git a/matita/contribs/LAMBDA-TYPES/Base-1/spare.ma b/matita/contribs/LAMBDA-TYPES/Base-1/spare.ma
index e19f961cc07e606a47e0c7f9f13070d611c4e820..fbcaab295267f8db119e9d9d1ce9759775d8c63a 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Base-1/spare.ma
+++ b/matita/contribs/LAMBDA-TYPES/Base-1/spare.ma
@@ -14,7 +14,7 @@
 
 (* This file was automatically generated: do not edit *********************)
 
-set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-1/spare".
+
 
 include "theory.ma".
 (*