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 82b0174a8..bca5ae63c 100644
--- a/tools/ocamlcp.ml
+++ b/tools/ocamlcp.ml
@@ -79,6 +79,7 @@ module Options = Main_args.Make_bytecomp_options (struct
let _runtime_variant s = option_with_arg "-runtime-variant" s
let _short_paths = option "-short-paths"
let _strict_sequence = option "-strict-sequence"
+ let _trans_mod = option "-trans-mod"
let _thread () = option "-thread" ()
let _vmthread () = option "-vmthread" ()
let _unsafe = option "-unsafe"