diff options
Diffstat (limited to 'sysinit/dune')
| -rw-r--r-- | sysinit/dune | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/sysinit/dune b/sysinit/dune index 6146aa60d0..04b46fb2a2 100644 --- a/sysinit/dune +++ b/sysinit/dune @@ -4,5 +4,4 @@ (synopsis "Coq's initialization") (wrapped false) (libraries coq.vernac) - (modules coqloadpath coqargs usage) ) |