From 4c4d6cfacf92b555546055a45edc19b68245b83c Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 6 Jan 2021 14:19:59 +0100
Subject: [sysinit] move initialization code from coqtop to here

We also spill (some) non-generic arguments and initialization code
out of coqargs and to coqtop, namely colors for the terminal. There are
more of these, left to later commits.
---
 sysinit/dune | 1 -
 1 file changed, 1 deletion(-)

(limited to 'sysinit/dune')

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)
  )
-- 
cgit v1.2.3