diff options
| author | Emilio Jesus Gallego Arias | 2018-11-26 14:03:32 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-11-26 14:03:32 +0100 |
| commit | bd248f857a7994a630d211f7028c4b1d5805caa6 (patch) | |
| tree | 57ac15956448c437768afc80823bea26bed082d0 /dev | |
| parent | b400fa987dec3c2dabfd69ce305d3ab8f1dc8952 (diff) | |
| parent | c6aecd8a930c069b2c9a02e846d80e12a82dc54f (diff) | |
Merge PR #9074: Fix ocamldebug-coq for packed gramlib
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/ocamldebug-coq.run | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev/ocamldebug-coq.run b/dev/ocamldebug-coq.run index 707c7f07ce..c1dcabb743 100644 --- a/dev/ocamldebug-coq.run +++ b/dev/ocamldebug-coq.run @@ -17,6 +17,7 @@ exec $OCAMLDEBUG \ -I +threads \ -I $COQTOP \ -I $COQTOP/config -I $COQTOP/printing -I $COQTOP/grammar -I $COQTOP/clib \ + -I $COQTOP/gramlib__pack \ -I $COQTOP/lib -I $COQTOP/kernel -I $COQTOP/kernel/byterun \ -I $COQTOP/library -I $COQTOP/engine \ -I $COQTOP/pretyping -I $COQTOP/parsing -I $COQTOP/vernac \ |