diff options
Diffstat (limited to 'ocamldoc/odoc_opt.ml')
-rw-r--r-- | ocamldoc/odoc_opt.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ocamldoc/odoc_opt.ml b/ocamldoc/odoc_opt.ml index a8be1963e7..8eb7e6fa38 100644 --- a/ocamldoc/odoc_opt.ml +++ b/ocamldoc/odoc_opt.ml @@ -19,6 +19,7 @@ open Misc open Format open Typedtree +let _ = Odoc_args.bytecode_mode := false let html_generator = new Odoc_html.html |