diff options
| author | courtieu | 2006-05-26 11:11:00 +0000 |
|---|---|---|
| committer | courtieu | 2006-05-26 11:11:00 +0000 |
| commit | 6df5f6ebf52badf7d57b4071b04f30b94829d8f7 (patch) | |
| tree | 61c45c744656e157779a3e9d4c5ff19bbe4afb7c /dev | |
| parent | 3d8d02a1980ec80e322cdabb6ac035d365c513bf (diff) | |
Added contrib/funind to the path for ocamldebug-coq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8864 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/ocamldebug-coq.template | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/ocamldebug-coq.template b/dev/ocamldebug-coq.template index 30224216c8..5c4c4475ef 100644 --- a/dev/ocamldebug-coq.template +++ b/dev/ocamldebug-coq.template @@ -36,7 +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 \ + -I $COQTOP/contrib/subtac -I $COQTOP/contrib/funind \ $* $args;; *) exec $OCAMLDEBUG $*;; esac |