mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-16 14:54:29 +01:00
14 lines
363 B
Diff
14 lines
363 B
Diff
|
diff --git a/src/dune b/src/dune
|
||
|
index a50b09a..54cc770 100644
|
||
|
--- a/src/dune
|
||
|
+++ b/src/dune
|
||
|
@@ -1,7 +1,7 @@
|
||
|
(library
|
||
|
(name flitter)
|
||
|
(wrapped false)
|
||
|
- (libraries core lwt.unix notty notty.unix re color sexp_pretty)
|
||
|
+ (libraries core core_kernel.caml_unix lwt.unix notty notty.unix re color sexp_pretty)
|
||
|
(preprocess (pps lwt_ppx ppx_sexp_conv))
|
||
|
)
|
||
|
|