Skip to content

Commit ce9d57b

Browse files
committed
Comment
1 parent 1996ba2 commit ce9d57b

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

middle_end/compilenv.ml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -142,6 +142,8 @@ let reset ?packname name =
142142
(current_unit_linkage_name ())
143143
in
144144
Compilation_unit.set_current compilation_unit;
145+
(* The Flambda 2 current compilation unit must be set separately
146+
since a different set of types are used. *)
145147
let module Compilation_unit = Flambda2_compilenv_deps.Compilation_unit in
146148
let module Linkage_name = Flambda2_compilenv_deps.Linkage_name in
147149
let compilation_unit =

0 commit comments

Comments
 (0)