diff options
| author | Pierre-Marie Pédrot | 2018-10-09 11:55:05 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-09 11:55:05 +0200 |
| commit | 59de2827b63b5bc475452bef385a2149a10a631c (patch) | |
| tree | 875f06667f1568426666b5195b9aede0328b87e7 /ide/protocol | |
| parent | f3c123ea05660ce393260283d64cc3ff0eba2f8c (diff) | |
| parent | faf6ffc00d91a7cc759ef65f9864d00773c96b19 (diff) | |
Merge PR #8632: [ide] [dune] [test-suite] Reorganize `fake_ide` build.
Diffstat (limited to 'ide/protocol')
| -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)) |