Project

General

Profile

Revision fc476249 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 Version.include_path false 
244
(*let mktop = mktop_decl Location.dummy_loc Version.include_path false *)
245

  
246
let mktop = mktop_decl Location.dummy_loc !Options.include_dir false
245 247

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

Also available in: Unified diff