X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fdelayed_updating%2Fsyntax%2Fpath.ma;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fdelayed_updating%2Fsyntax%2Fpath.ma;h=ed8036ba904e3debd6d699eeafb52b8290c9cf6b;hb=2bc0ba993e26ab77a792b38ba39da7a3dd03ad43;hp=3c2be9aa34f5a85d3efe7ab9694ec1536770c13f;hpb=873fb39bdd21aa14877bf5d50db26e3a050c6d43;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/syntax/path.ma b/matita/matita/contribs/lambdadelta/delayed_updating/syntax/path.ma
index 3c2be9aa3..ed8036ba9 100644
--- a/matita/matita/contribs/lambdadelta/delayed_updating/syntax/path.ma
+++ b/matita/matita/contribs/lambdadelta/delayed_updating/syntax/path.ma
@@ -15,9 +15,9 @@
 include "ground/lib/list_rcons.ma".
 include "ground/notation/functions/element_e_0.ma".
 include "ground/notation/functions/black_circle_2.ma".
+include "ground/notation/functions/black_halfcircleright_2.ma".
+include "ground/notation/functions/black_halfcircleleft_2.ma".
 include "delayed_updating/syntax/label.ma".
-include "delayed_updating/notation/functions/black_halfcircleright_2.ma".
-include "delayed_updating/notation/functions/black_halfcircleleft_2.ma".
 
 (* PATH *********************************************************************)