integrating the framework with fle ...

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / rt_computation / lfpxs_etc.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_etc.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_etc.ma
index e70a8f5969640836f6c540c60f65b3f0341174a6..d1971805860f9cb419915042b31c2da9c3e09826 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_etc.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_etc.ma
@@ -1,6 +1,5 @@
 
 include "basic_2/static/lfxs_lex.ma".
-include "basic_2/static/lfxs_fle.ma".
 include "basic_2/rt_transition/cpx_etc.ma".
 include "basic_2/rt_computation/lfpxs_lpxs.ma".