diff options
Diffstat (limited to 'proofs/proof_trees.mli')
| -rw-r--r-- | proofs/proof_trees.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/proofs/proof_trees.mli b/proofs/proof_trees.mli index d6a1a51d5..889c16aba 100644 --- a/proofs/proof_trees.mli +++ b/proofs/proof_trees.mli @@ -67,4 +67,6 @@ val pr_evars_int : int -> (int * goal) list -> std_ppcmds val pr_subgoals_existential : evar_map -> goal list -> std_ppcmds (* Gives the ast corresponding to a tactic argument *) +(* val ast_of_cvt_arg : tactic_arg -> Coqast.t +*) |