diff options
Diffstat (limited to 'toplevel/dune')
| -rw-r--r-- | toplevel/dune | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/toplevel/dune b/toplevel/dune index 5f10346ac4..0256d1ec96 100644 --- a/toplevel/dune +++ b/toplevel/dune @@ -3,9 +3,8 @@ (public_name coq.toplevel) (synopsis "Coq's Interactive Shell [terminal-based]") (wrapped false) - ; num still here due to some plugins using it - (libraries num coq.stm)) -; Interp provides the `zarith` library to plugins, we could also use -; -linkall in the plugins file, to be discussed. + (libraries coq.stm)) +; Interp does provides the `zarith` library to plugins, we could also +; use -linkall in the plugins file, to be discussed. (coq.pp (modules g_toplevel)) |