From 2bea4137bd0841de7273a5adf9a72bd2e786fb68 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 6 Sep 2017 23:50:33 +0200
Subject: Communicate the backtrace through the monad.

---
 src/tac2expr.mli | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/tac2expr.mli')

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;
 }
-- 
cgit v1.2.3