diff options
| author | Pierre-Marie Pédrot | 2017-09-06 23:50:33 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-09-07 01:10:32 +0200 |
| commit | 2bea4137bd0841de7273a5adf9a72bd2e786fb68 (patch) | |
| tree | d1f9c5fc215c4f61e7b7fa07243a9be2db66a51a /src/tac2expr.mli | |
| parent | d6997e31e7fc4cfc6e020bf1ab53e6b1fa3f74fe (diff) | |
Communicate the backtrace through the monad.
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; } |