Project

General

Profile

Revision 990210f3 src/machine_code.ml

View differences:

src/machine_code.ml
181 181
let arrow_top_decl =
182 182
  {
183 183
    top_decl_desc = Node arrow_desc;
184
    top_decl_owner = !Options.include_dir;
184
    top_decl_owner = (Options.core_dependency "arrow");
185 185
    top_decl_itf = false;
186 186
    top_decl_loc = Location.dummy_loc
187 187
  }

Also available in: Unified diff