diff options
Diffstat (limited to 'plugins/decl_mode/decl_proof_instr.mli')
| -rw-r--r-- | plugins/decl_mode/decl_proof_instr.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/plugins/decl_mode/decl_proof_instr.mli b/plugins/decl_mode/decl_proof_instr.mli index b27939b3ca..1205060aea 100644 --- a/plugins/decl_mode/decl_proof_instr.mli +++ b/plugins/decl_mode/decl_proof_instr.mli @@ -19,8 +19,6 @@ val register_automation_tac: tactic -> unit val automation_tac : tactic -val daimon_subtree: Proof.proof -> Proof.proof - val concl_refiner: Termops.meta_type_map -> constr -> Proof_type.goal sigma -> constr |