diff options
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/ocamldebug-coq.template | 2 |
1 files changed, 0 insertions, 2 deletions
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 |