diff options
Diffstat (limited to 'coqpp/dune')
| -rw-r--r-- | coqpp/dune | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coqpp/dune b/coqpp/dune index d4b49301fb..e4cdc33b3d 100644 --- a/coqpp/dune +++ b/coqpp/dune @@ -10,6 +10,6 @@ (executable (name coqpp_main) (public_name coqpp) - (package coq) + (package coq-core) (libraries coqpp) (modules coqpp_main)) |