diff options
author | Son Ho | 2021-12-03 17:13:36 +0100 |
---|---|---|
committer | Son Ho | 2021-12-03 17:14:00 +0100 |
commit | 2a2190f6a47f2a28902941b09a9bdc02e52bbcd1 (patch) | |
tree | 873c2a85913b3a0fe577f506db866681adceeb42 /src/dune | |
parent | 1eb1121490f4331c36298f048c76f9f720206879 (diff) |
Add code to derive polymorphic visitors for g_typed_value and typed_value
Diffstat (limited to '')
-rw-r--r-- | src/dune | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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 ))) |