diff options
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/dune | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/toplevel/dune b/toplevel/dune index 5f10346ac4..98f4ba2edf 100644 --- a/toplevel/dune +++ b/toplevel/dune @@ -3,8 +3,7 @@ (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)) + (libraries coq.stm)) ; Interp provides the `zarith` library to plugins, we could also use ; -linkall in the plugins file, to be discussed. |