From be746c0bbd22d9a4206216a242a6f968b4f9135f Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 23 Aug 2012 12:52:46 +0000
Subject: No need anymore to refer to COQLIB in ocamldebug-coq

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15751 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/ocamldebug-coq.template | 2 --
 1 file changed, 2 deletions(-)

(limited to 'dev')

diff --git a/dev/ocamldebug-coq.template b/dev/ocamldebug-coq.template
index 1a55b804ea..ffe4c6b402 100644
--- a/dev/ocamldebug-coq.template
+++ b/dev/ocamldebug-coq.template
@@ -3,8 +3,6 @@
 # wrap around ocamldebug for Coq
 
 export COQTOP=COQTOPDIRECTORY
-export COQLIB=COQLIBDIRECTORY
-export COQTH=$COQLIB/theories
 CAMLBIN=CAMLBINDIRECTORY
 CAMLP4LIB=CAMLP4LIBDIRECTORY
 OCAMLDEBUG=$CAMLBIN/ocamldebug
-- 
cgit v1.2.3