diff options
Diffstat (limited to 'src/tac2expr.mli')
| -rw-r--r-- | src/tac2expr.mli | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/tac2expr.mli b/src/tac2expr.mli index 1b4a704b11..77e2cfef0e 100644 --- a/src/tac2expr.mli +++ b/src/tac2expr.mli @@ -201,9 +201,8 @@ type valexpr = | ValExt : 'a Tac2dyn.Val.tag * 'a -> valexpr (** Arbitrary data *) -and ml_tactic = backtrace -> valexpr list -> valexpr Proofview.tactic +and ml_tactic = valexpr list -> valexpr Proofview.tactic type environment = { env_ist : valexpr Id.Map.t; - env_bkt : backtrace; } |