diff options
Diffstat (limited to 'dev')
| -rwxr-xr-x | dev/ocamldebug-v7 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev/ocamldebug-v7 b/dev/ocamldebug-v7 index 38572b7207..4d8e3092ac 100755 --- a/dev/ocamldebug-v7 +++ b/dev/ocamldebug-v7 @@ -29,6 +29,7 @@ case $coqdebug in -I $COQTOP/library -I $COQTOP/pretyping -I $COQTOP/parsing \ -I $COQTOP/proofs -I $COQTOP/tactics \ -I $COQTOP/toplevel -I $COQTOP/dev \ + -I $COQTOP/contrib/omega -I $COQTOP/contrib/ring \ $* $args;; *) exec $OCAMLDEBUG $*;; esac |