update bin/dune

gfngfn · Sep 8, 2024 · c67825d · c67825d
1 parent 6bb1efb
commit c67825d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/dune b/bin/dune
@@ -2,5 +2,5 @@
  (name satysfi)
  (public_name satysfi)
  (package satysfi)
- (libraries main cmdliner)
+ (libraries main satysfi-common cmdliner)
  (preprocess no_preprocessing))