diff options
Diffstat (limited to 'ide/protocol/dune')
| -rw-r--r-- | ide/protocol/dune | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/protocol/dune b/ide/protocol/dune index 9ce4559940..801ceb20ec 100644 --- a/ide/protocol/dune +++ b/ide/protocol/dune @@ -1,6 +1,6 @@ (library (name protocol) - (public_name coqide.protocol) + (public_name coqide-server.protocol) (wrapped false) (libraries coq.lib)) |