diff options
Diffstat (limited to 'compiler/dune')
| -rw-r--r-- | compiler/dune | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/dune b/compiler/dune index ae9cef04..b74b65fa 100644 --- a/compiler/dune +++ b/compiler/dune @@ -81,7 +81,7 @@ -g ;-dsource -warn-error - -5-8-9-11-14-33-20-21-26-27-39)) + -5@8-9-11-14-33-20-21-26-27-39)) (release (flags :standard |