X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fstatic_2%2Fsyntax%2Fteqx_ext.ma;h=68a91196f61bd197fdb76d25baff310fa82e977a;hp=efbf860759fe2b213ced4558f561a86d9e0bfebe;hb=e23331eef5817eaa6c5e1c442d1d6bbb18650573;hpb=b118146b97959e6a6dde18fdd014b8e1e676a2d1

diff --git a/matita/matita/contribs/lambdadelta/static_2/syntax/teqx_ext.ma b/matita/matita/contribs/lambdadelta/static_2/syntax/teqx_ext.ma
index efbf86075..68a91196f 100644
--- a/matita/matita/contribs/lambdadelta/static_2/syntax/teqx_ext.ma
+++ b/matita/matita/contribs/lambdadelta/static_2/syntax/teqx_ext.ma
@@ -13,7 +13,7 @@
 (**************************************************************************)
 
 (*
-include "static_2/notation/relations/stareq_3.ma".
+include "static_2/notation/relations/approxeq_3.ma".
 *)
 include "static_2/syntax/teqg_ext.ma".
 include "static_2/syntax/teqx.ma".