mirror of
https://github.com/c-cube/moonpool.git
synced 2025-12-07 11:45:39 -05:00
detail in dune
This commit is contained in:
parent
948baea4b2
commit
df0dae23db
1 changed files with 1 additions and 1 deletions
2
dune
2
dune
|
|
@ -1,5 +1,5 @@
|
||||||
|
|
||||||
(env
|
(env
|
||||||
(_ (flags :standard -strict-sequence -warn-error -a+8 -w +a-4-40-70)))
|
(_ (flags :standard -strict-sequence -warn-error -a+8 -w +a-4-40-42-70)))
|
||||||
|
|
||||||
(mdx (libraries moonpool))
|
(mdx (libraries moonpool))
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue