diff options
| author | Emilio Jesus Gallego Arias | 2018-12-10 14:08:56 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-12-10 14:08:56 +0100 |
| commit | 3f014b0c883cd71cf751b0ccc297edb38e46ae47 (patch) | |
| tree | cacc5fe6e908f7ba7ef1c99f0235da1f2876c7fa /dev | |
| parent | 01f4470c330ce52b03046d5b98cd5af3ac87272e (diff) | |
| parent | e3a2a5d4fc3ad29462f2e4548c32ac00b4fbd05f (diff) | |
Merge PR #9077: Rename generated directory gramlib__pack -> gramlib/.pack
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/ocamldebug-coq.run | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/ocamldebug-coq.run b/dev/ocamldebug-coq.run index c1dcabb743..a11269e059 100644 --- a/dev/ocamldebug-coq.run +++ b/dev/ocamldebug-coq.run @@ -17,7 +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/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 \ |