update in delayed_updating

[helm.git] / matita / matita / contribs / lambdadelta / delayed_updating / unwind / unwind2_path_eq.ma

diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind2_path_eq.ma b/matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind2_path_eq.ma
index cb0826a0bc0df6d64122cf23a6d7d37d86c7121e..ed75b0d7a7d72e89097d3248b0994a923953e79d 100644 (file)
--- a/matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind2_path_eq.ma
+++ b/matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind2_path_eq.ma
@@ -16,7 +16,6 @@ include "delayed_updating/unwind/unwind2_path.ma".
 include "delayed_updating/unwind/unwind2_rmap_eq.ma".
 include "delayed_updating/unwind/unwind_gen_eq.ma".
 include "ground/relocation/tr_compose_compose.ma".
-include "ground/relocation/tr_compose_pn.ma".
 
 (* UNWIND FOR PATH **********************************************************)