summaryrefslogtreecommitdiff
path: root/driver/optcompile.ml
diff options
context:
space:
mode:
authorMark Shinwell <mshinwell@janestreet.com>2016-02-11 14:35:18 +0000
committerMark Shinwell <mshinwell@janestreet.com>2016-02-11 14:35:18 +0000
commit4137939cd7517c69ef3d6bd68b64041aa01b0bd1 (patch)
tree70abc983b25a831ff9b03de83b17196b347b3668 /driver/optcompile.ml
parent53382378aea5ed71bfb2f28cac11757320e2e59d (diff)
downloadocaml-4137939cd7517c69ef3d6bd68b64041aa01b0bd1.tar.gz
Make warning 59 less unhelpful (includes work by Runhang Li)
Diffstat (limited to 'driver/optcompile.ml')
-rw-r--r--driver/optcompile.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/optcompile.ml b/driver/optcompile.ml
index 94597fb586..dd409abfc5 100644
--- a/driver/optcompile.ml
+++ b/driver/optcompile.ml
@@ -109,6 +109,7 @@ let implementation ppf sourcefile outputprefix ~backend =
Middle_end.middle_end ppf ~source_provenance
~prefixname:outputprefix
~size
+ ~filename:sourcefile
~module_ident
~backend
~module_initializer:lam)