X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fstatic%2Fsh.ma;h=bab748f7564ff60dfcab989f7cacc04ec7369abf;hb=bcab3f92c6f815098ecc24eff06bfd3d232eb497;hp=f43b9b31d040f8ca740a04179091f43d3e7afa59;hpb=65008df95049eb835941ffea1aa682c9253c4c2b;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/static/sh.ma b/matita/matita/contribs/lambdadelta/basic_2/static/sh.ma
index f43b9b31d..bab748f75 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/static/sh.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/static/sh.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "ground_2/arith.ma".
+include "ground_2/lib/arith.ma".
 
 (* SORT HIERARCHY ***********************************************************)