summaryrefslogtreecommitdiff
path: root/src/dune
diff options
context:
space:
mode:
authorSon Ho2021-12-03 17:13:36 +0100
committerSon Ho2021-12-03 17:14:00 +0100
commit2a2190f6a47f2a28902941b09a9bdc02e52bbcd1 (patch)
tree873c2a85913b3a0fe577f506db866681adceeb42 /src/dune
parent1eb1121490f4331c36298f048c76f9f720206879 (diff)
Add code to derive polymorphic visitors for g_typed_value and typed_value
Diffstat (limited to '')
-rw-r--r--src/dune2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dune b/src/dune
index ac0480d3..e64c3cb1 100644
--- a/src/dune
+++ b/src/dune
@@ -8,11 +8,13 @@
:standard
-safe-string
-g
+ -dsource
-warn-error -9-11-33-20-21-26-27-39
))
(release (flags
:standard
-safe-string
-g
+ -dsource
-warn-error -9-11-33-20-21-26-27-39
)))