X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fstatic%2Fffdeq.ma;h=a5c11db6385286bc0f6a63f8461b8498f66e8edc;hb=a9e994f4ca8e04743c53ed8cb057ee5dae80c8f9;hp=207e1e2d3513723c720263f755997039e81c3973;hpb=fc8a2701628ef45be06570f02dc3f19ba1523365;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/static/ffdeq.ma b/matita/matita/contribs/lambdadelta/basic_2/static/ffdeq.ma
index 207e1e2d3..a5c11db63 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/static/ffdeq.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/static/ffdeq.ma
@@ -14,7 +14,7 @@
 
 include "basic_2/notation/relations/lazyeq_8.ma".
 include "basic_2/syntax/genv.ma".
-include "basic_2/static/lfdeq_fqup.ma".
+include "basic_2/static/lfdeq.ma".
 
 (* DEGREE-BASED EQUIVALENCE FOR CLOSURES ON REFERRED ENTRIES ****************)