auto snapshot

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

diff --git a/helm/software/components/ng_tactics/andOrTree.mli b/helm/software/components/ng_tactics/andOrTree.mli
index 9570c62d98280cf1e1a1703f9c4e3ea718e5b637..2a8eea24d5418facf6eefd9284a66ddcee466c0d 100644 (file)
--- 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