summaryrefslogtreecommitdiffstats
path: root/tools/ocamlcp.ml
diff options
context:
space:
mode:
Diffstat (limited to 'tools/ocamlcp.ml')
-rw-r--r--tools/ocamlcp.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ocamlcp.ml b/tools/ocamlcp.ml
index eb9036bf6..b611094ca 100644
--- a/tools/ocamlcp.ml
+++ b/tools/ocamlcp.ml
@@ -90,6 +90,7 @@ module Options = Main_args.Make_bytecomp_options (struct
let _warn_help = option "-warn-help"
let _where = option "-where"
let _nopervasives = option "-nopervasives"
+ let _dsource = option "-dsource"
let _dparsetree = option "-dparsetree"
let _drawlambda = option "-drawlambda"
let _dlambda = option "-dlambda"