X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground_2%2Flib%2Farith.ma;h=9a3f0810f14ae3e512eebae395e07c8ea89ff565;hb=a961853f4bb6f26c4cc8ca9babad0de0e6c6d1ff;hp=2c6ad2a5623d947abd287fa3e1ceccddb880087b;hpb=73966e3e9fd17155ca67e6b4a32f52225cea9d3c;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma b/matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma
index 2c6ad2a56..9a3f0810f 100644
--- a/matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma
+++ b/matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma
@@ -15,7 +15,7 @@
 include "ground_2/notation/functions/successor_1.ma".
 include "ground_2/notation/functions/predecessor_1.ma".
 include "arithmetics/nat.ma".
-include "ground_2/lib/star.ma".
+include "ground_2/lib/relations.ma".
 
 (* ARITHMETICAL PROPERTIES **************************************************)