diff options
Diffstat (limited to 'proofs')
| -rw-r--r-- | proofs/pfedit.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/proofs/pfedit.mli b/proofs/pfedit.mli index 3e86b38624..966630eae4 100644 --- a/proofs/pfedit.mli +++ b/proofs/pfedit.mli @@ -66,3 +66,4 @@ val make_focus : int -> unit val focus : unit -> int val focused_goal : unit -> int +val subtree_solved : unit -> bool |