milestone update in basic_2

[helm.git] / matita / matita / contribs / lambdadelta / static_2 / syntax / teqx_ext.ma

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 efbf860759fe2b213ced4558f561a86d9e0bfebe..68a91196f61bd197fdb76d25baff310fa82e977a 100644 (file)
--- 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".