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