From e86f8ef50b940435da2b238792dffd0f9755a78d Mon Sep 17 00:00:00 2001
From: Arnaud Spiwack <arnaud@spiwack.net>
Date: Mon, 13 Oct 2014 12:10:29 +0200
Subject: Goal: remove dead code.

---
 proofs/goal.ml | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'proofs/goal.ml')

diff --git a/proofs/goal.ml b/proofs/goal.ml
index ea0d534c1..9c79c8c81 100644
--- a/proofs/goal.ml
+++ b/proofs/goal.ml
@@ -151,12 +151,6 @@ let eval t env defs gl =
   let r = t env rdefs gl info in
   ( r , !rdefs )
 
-(* monadic bind on sensitive expressions *)
-let bind e f = (); fun env rdefs goal info ->
-  let a = e env rdefs goal info in
-  let r = f a in
-  r env rdefs goal info
-
 let enter f = (); fun env rdefs gl info ->
   let sigma = !rdefs in
   f env sigma (Evd.evar_concl info) gl
-- 
cgit v1.2.3