matita gtk3: some bugs fixed

[helm.git] / helm / software / components / ng_tactics / zipTree.mli

diff --git a/helm/software/components/ng_tactics/zipTree.mli b/helm/software/components/ng_tactics/zipTree.mli
index bed576157d099558613c0507d138a455057c13b6..751d3720dd61a01b2375cc9c0a8ca339b27f2ffa 100644 (file)
--- a/helm/software/components/ng_tactics/zipTree.mli
+++ b/helm/software/components/ng_tactics/zipTree.mli
@@ -18,6 +18,7 @@ val start : ('s,'g) tree -> ('a,'s,'g) position
 
 val up    : ('a,'s,'g) position -> ('b,'s,'g) position option
 val down  : ('a,'s,'g) position -> ('b,'s,'g) position option
+val downr : ('a,'s,'g) position -> ('b,'s,'g) position option
 val left  : ('a,'s,'g) position -> ('b,'s,'g) position option
 val right : ('a,'s,'g) position -> ('b,'s,'g) position option