Project

General

Profile

Revision 1e48ef45 src/machine_code.ml

View differences:

src/machine_code.ml
166 166
let arrow_top_decl =
167 167
  {
168 168
    top_decl_desc = Node arrow_desc;
169
    top_decl_owner = Version.prefix;
169
    top_decl_owner = Version.include_path;
170 170
    top_decl_itf = false;
171 171
    top_decl_loc = Location.dummy_loc
172 172
  }

Also available in: Unified diff