fixed dep on dune configurator

pveber · Jan 14, 2023 · 5a091c2 · 5a091c2
1 parent 7dd92ff
commit 5a091c2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/config/dune b/lib/config/dune
@@ -1,3 +1,3 @@
 (executable
  (name discover)
- (libraries dune.configurator))
+ (libraries dune-configurator))