diff options
| author | Gaëtan Gilbert | 2021-01-27 11:35:35 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2021-01-27 11:35:35 +0100 |
| commit | be070cfb10a59be13a478a7efbf92dd3e22401ed (patch) | |
| tree | 1b9f8abeae6bcfb53f6f731019caedbdfcea54cb /dev/ocamldebug-coq.run | |
| parent | 6e258b391363aa2345c4dc265ba381b1712fe083 (diff) | |
Add sysinit to load_printer lists
Diffstat (limited to 'dev/ocamldebug-coq.run')
| -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 534f20f85b..db15d9705a 100644 --- a/dev/ocamldebug-coq.run +++ b/dev/ocamldebug-coq.run @@ -19,7 +19,7 @@ exec $OCAMLDEBUG \ -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/library -I $COQTOP/engine -I $COQTOP/sysinit \ -I $COQTOP/pretyping -I $COQTOP/parsing -I $COQTOP/vernac \ -I $COQTOP/interp -I $COQTOP/proofs -I $COQTOP/tactics -I $COQTOP/stm \ -I $COQTOP/toplevel -I $COQTOP/dev -I $COQTOP/config -I $COQTOP/ltac \ |