diff options
Diffstat (limited to 'contrib/interface/debug_tac.mli')
| -rw-r--r-- | contrib/interface/debug_tac.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/contrib/interface/debug_tac.mli b/contrib/interface/debug_tac.mli index a582b029e..05cef23aa 100644 --- a/contrib/interface/debug_tac.mli +++ b/contrib/interface/debug_tac.mli @@ -1,6 +1,6 @@ -val report_error : Coqast.t -> +val report_error : Tacexpr.raw_tactic_expr -> Proof_type.goal Proof_type.sigma option ref -> - Coqast.t ref -> int list ref -> int list -> Tacmach.tactic;; + Tacexpr.raw_tactic_expr ref -> int list ref -> int list -> Tacmach.tactic;; -val clean_path : int -> Coqast.t -> int list -> int list;; +val clean_path : Tacexpr.raw_tactic_expr -> int list -> int list;; |