propagating the arithmetics library, partial commit

[helm.git] / matita / matita / contribs / lambdadelta / ground / relocation / mr2.ma

diff --git a/matita/matita/contribs/lambdadelta/ground/relocation/mr2.ma b/matita/matita/contribs/lambdadelta/ground/relocation/mr2.ma
index 0016e8c0dbcdb32c620f548b85d513a6e944e12a..6d3cb82d3eb8ceac002d0d18b19a13e8f733538e 100644 (file)
--- 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 *******************************************)