X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fstatic_2%2Fstatic%2Freqg_reqg.ma;h=cb01ec66296453a6a5401902b3e8fa481670e78e;hp=41f0fee267d0bb6c33583f74b7e31ac874fb1694;hb=e23331eef5817eaa6c5e1c442d1d6bbb18650573;hpb=b118146b97959e6a6dde18fdd014b8e1e676a2d1

diff --git a/matita/matita/contribs/lambdadelta/static_2/static/reqg_reqg.ma b/matita/matita/contribs/lambdadelta/static_2/static/reqg_reqg.ma
index 41f0fee26..cb01ec662 100644
--- a/matita/matita/contribs/lambdadelta/static_2/static/reqg_reqg.ma
+++ b/matita/matita/contribs/lambdadelta/static_2/static/reqg_reqg.ma
@@ -14,7 +14,6 @@
 
 include "static_2/syntax/ext2_ext2.ma".
 include "static_2/syntax/teqg_teqg.ma".
-include "static_2/static/rex_rex.ma".
 include "static_2/static/reqg_length.ma".
 
 (* GENERIC EQUIVALENCE FOR LOCAL ENVIRONMENTS ON REFERRED ENTRIES ***********)