diff options
Diffstat (limited to 'gramlib')
| -rw-r--r-- | gramlib/dune | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gramlib/dune b/gramlib/dune index 8ca6aff25a..62c64b0c1a 100644 --- a/gramlib/dune +++ b/gramlib/dune @@ -1,4 +1,4 @@ (library (name gramlib) - (public_name coq.gramlib) - (libraries coq.lib)) + (public_name coq-core.gramlib) + (libraries coq-core.lib)) |