diff options
Diffstat (limited to 'driver/compile.ml')
| -rw-r--r-- | driver/compile.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/compile.ml b/driver/compile.ml index 9549563273..7a88388c35 100644 --- a/driver/compile.ml +++ b/driver/compile.ml @@ -27,7 +27,7 @@ let interface ~source_file ~output_prefix = (** Bytecode compilation backend for .ml files. *) -let to_bytecode i Typemod.{structure; coercion; _} = +let to_bytecode i Typedtree.{structure; coercion; _} = (structure, coercion) |> Profile.(record transl) (Translmod.transl_implementation i.module_name) |