update in ground

[helm.git] / matita / matita / contribs / lambdadelta / ground / lib / ltc.ma

diff --git a/matita/matita/contribs/lambdadelta/ground/lib/ltc.ma b/matita/matita/contribs/lambdadelta/ground/lib/ltc.ma
index c0d091c3c32129f8e5a3a449a88b45f56c1a1a34..9c2e12a7a5884231bec92e7d7cfad5f73b1015f7 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground/lib/ltc.ma
+++ b/matita/matita/contribs/lambdadelta/ground/lib/ltc.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "ground/insert_eq/insert_eq_1.ma".
+include "ground/generated/insert_eq_1.ma".
 include "ground/lib/functions.ma".
 
 (* LABELLED TRANSITIVE CLOSURE FOR RELATIONS ********************************)