update in delayed_updating

[helm.git] / matita / matita / contribs / lambdadelta / delayed_updating / syntax / path_structure.ma

diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_structure.ma b/matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_structure.ma
index d7608ba18cc41268dff09f4f27c6e065829a8cbb..5bf678ebe01edecc6abb6e061d592e809def6711 100644 (file)
--- a/matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_structure.ma
+++ b/matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_structure.ma
@@ -23,9 +23,9 @@ match p with
 | list_lcons l q ⇒
    match l with
    [ label_node_d n ⇒ path_structure q
-   | label_edge_L   ⇒ 𝗟;path_structure q
-   | label_edge_A   ⇒ 𝗔;path_structure q
-   | label_edge_S   ⇒ 𝗦;path_structure q
+   | label_edge_L   ⇒ 𝗟◗path_structure q
+   | label_edge_A   ⇒ 𝗔◗path_structure q
+   | label_edge_S   ⇒ 𝗦◗path_structure q
    ]
 ].