commit by user andrea

[helm.git] / matita / matita / contribs / lambda_delta / Basic_2 / unfold / tpss_tpss.ma

diff --git a/matita/matita/contribs/lambda_delta/Basic_2/unfold/tpss_tpss.ma b/matita/matita/contribs/lambda_delta/Basic_2/unfold/tpss_tpss.ma
index a8492845333c75d7db27c49e501e832f53d1ee8b..57e4fb199c5227f9201af5572981bd9cdbd01463 100644 (file)
--- a/matita/matita/contribs/lambda_delta/Basic_2/unfold/tpss_tpss.ma
+++ b/matita/matita/contribs/lambda_delta/Basic_2/unfold/tpss_tpss.ma
@@ -12,8 +12,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "Basic-2/substitution/tps_tps.ma".
-include "Basic-2/unfold/tpss_lift.ma".
+include "Basic_2/substitution/tps_tps.ma".
+include "Basic_2/unfold/tpss_lift.ma".
 
 (* PARTIAL UNFOLD ON TERMS **************************************************)