Project

General

Profile

Revision 990210f3 src/corelang.ml

View differences:

src/corelang.ml
241 241

  
242 242
(* alias and type definition table *)
243 243

  
244
let mktop = mktop_decl Location.dummy_loc !Options.include_dir false
244
let mktop = mktop_decl Location.dummy_loc !Options.dest_dir false
245 245

  
246 246
let top_int_type = mktop (TypeDef {tydef_id = "int"; tydef_desc = Tydec_int})
247 247
let top_bool_type = mktop (TypeDef {tydef_id = "bool"; tydef_desc = Tydec_bool})

Also available in: Unified diff