refactoring ...

[helm.git] / matita / matita / contribs / lambdadelta / ground_2 / lib / arith.ma

diff --git a/matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma b/matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma
index 2c6ad2a5623d947abd287fa3e1ceccddb880087b..9a3f0810f14ae3e512eebae395e07c8ea89ff565 100644 (file)
--- 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 **************************************************)