From 8464cd8a8df852799da9cb7a1fd94b8faf3cf9c6 Mon Sep 17 00:00:00 2001
From: coq
Date: Wed, 25 May 2005 13:13:15 +0000
Subject: Added subtac contrib. Added some debug printer in termops.

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

(limited to 'dev')

diff --git a/dev/ocamldebug-coq.template b/dev/ocamldebug-coq.template
index 96c53192d1..30224216c8 100644
--- a/dev/ocamldebug-coq.template
+++ b/dev/ocamldebug-coq.template
@@ -36,6 +36,7 @@ case $coqdebug in
         -I $COQTOP/contrib/interface  -I $COQTOP/contrib/jprover \
         -I $COQTOP/contrib/omega      -I $COQTOP/contrib/romega \
         -I $COQTOP/contrib/ring       -I $COQTOP/contrib/xml \
+	-I $COQTOP/contrib/subtac \
 	$* $args;;
     *) exec $OCAMLDEBUG $*;;
 esac
-- 
cgit v1.2.3