X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_tactics%2FandOrTree.mli;h=2a8eea24d5418facf6eefd9284a66ddcee466c0d;hb=5cfd68a5d9e73edb40e1cfe021a1426354767aa8;hp=9570c62d98280cf1e1a1703f9c4e3ea718e5b637;hpb=3c77b701737ef41c39a5d08d76ca9071e5b1bdd7;p=helm.git

diff --git a/helm/software/components/ng_tactics/andOrTree.mli b/helm/software/components/ng_tactics/andOrTree.mli
index 9570c62d9..2a8eea24d 100644
--- a/helm/software/components/ng_tactics/andOrTree.mli
+++ b/helm/software/components/ng_tactics/andOrTree.mli
@@ -29,7 +29,8 @@ val start : ('s,'g) tree -> (andT,'s,'g) position
 val upA    : (andT,'s,'g) position -> (orT,'s,'g) position option
 val upO    : (orT,'s,'g) position -> (andT,'s,'g) position 
 val downA : (andT,'s,'g) position -> ('s,'g) subtreeO
-val downO : (orT,'s,'g) position -> ('s,'g) subtreeA
+val downO  : (orT,'s,'g) position -> ('s,'g) subtreeA
+val downOr : (orT,'s,'g) position -> ('s,'g) subtreeA
 
 val left  : ('a,'s,'g) position -> ('a,'s,'g) position option
 val right : ('a,'s,'g) position -> ('a,'s,'g) position option