Skip to content

Commit db5ae2d

Browse files
committed
readd base-unix dep, silence warnings
1 parent 92114c9 commit db5ae2d

File tree

2 files changed

+2
-1
lines changed

2 files changed

+2
-1
lines changed

dune

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
(env
22
(dev
33
(flags
4-
(:standard -w -6))))
4+
(:standard -w -6-32-39))))
55

66
(library
77
(name zarith)

zarith.opam

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,7 @@ build: [
1717
depends: [
1818
"ocaml" {>="4.07.0"}
1919
"dune" {>="2.0"}
20+
"base-unix"
2021
"conf-gmp"
2122
]
2223
synopsis:

0 commit comments

Comments
 (0)