X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Frelocation%2Fmr2.ma;h=6d3cb82d3eb8ceac002d0d18b19a13e8f733538e;hp=0016e8c0dbcdb32c620f548b85d513a6e944e12a;hb=8fdf1af656038d0245eba64ff2531bbe94ce0e9e;hpb=77c9255de3c5f7780aeacd745703a1cc76328a68

diff --git a/matita/matita/contribs/lambdadelta/ground/relocation/mr2.ma b/matita/matita/contribs/lambdadelta/ground/relocation/mr2.ma
index 0016e8c0d..6d3cb82d3 100644
--- a/matita/matita/contribs/lambdadelta/ground/relocation/mr2.ma
+++ b/matita/matita/contribs/lambdadelta/ground/relocation/mr2.ma
@@ -14,7 +14,7 @@
 
 include "ground/notation/functions/diamond_0.ma".
 include "ground/notation/functions/semicolon_3.ma".
-include "ground/lib/arith.ma".
+include "ground/arith/nat.ma".
 
 (* MULTIPLE RELOCATION WITH PAIRS *******************************************)