update in ground

[helm.git] / matita / matita / contribs / lambdadelta / ground / counters / rtc.ma

diff --git a/matita/matita/contribs/lambdadelta/ground/counters/rtc.ma b/matita/matita/contribs/lambdadelta/ground/counters/rtc.ma
index 414fa1bfe62428cb1e00a7268b4f16313eab87e3..5e055b787d690ab52a388511403d28b677556761 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground/counters/rtc.ma
+++ b/matita/matita/contribs/lambdadelta/ground/counters/rtc.ma
@@ -17,7 +17,7 @@ include "ground/notation/functions/tuple_4.ma".
 include "ground/notation/functions/zerozero_0.ma".
 include "ground/notation/functions/zeroone_0.ma".
 include "ground/notation/functions/onezero_0.ma".
-include "ground/insert_eq/insert_eq_1.ma".
+include "ground/generated/insert_eq_1.ma".
 include "ground/arith/nat.ma".
 
 (* RT-TRANSITION COUNTERS ***************************************************)