- advances on drops

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / static / freq_freq.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/static/freq_freq.ma b/matita/matita/contribs/lambdadelta/basic_2/static/freq_freq.ma
index d4d8f76ded261a2055b90c2c87fd29e574263ce4..4ff819570373667ff49c7165ab9280d83ca716bd 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/static/freq_freq.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/static/freq_freq.ma
@@ -13,8 +13,8 @@
 (**************************************************************************)
 
 include "basic_2/relocation/lreq_lreq.ma".
-include "basic_2/relocation/frees_frees.ma".
-include "basic_2/relocation/freq.ma".
+include "basic_2/static/frees_frees.ma".
+include "basic_2/static/freq.ma".
 
 (* RANGED EQUIVALENCE FOR CLOSURES  *****************************************)