- lambdadelta: first commutation property on lazy equivalence for

[helm.git] / matita / matita / contribs / lambdadelta / ground_2 / star.ma

diff --git a/matita/matita/contribs/lambdadelta/ground_2/star.ma b/matita/matita/contribs/lambdadelta/ground_2/star.ma
index 8345cbe42ac0d0cf72756ea2059a278306672389..29131d108513acea78f62802cff0f02ab9ffdd3b 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground_2/star.ma
+++ b/matita/matita/contribs/lambdadelta/ground_2/star.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "basics/star.ma".
+include "basics/star1.ma".
 include "ground_2/xoa_props.ma".
 include "ground_2/notation.ma".