Project

General

Profile

Revision c9570528 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
84 84

  
85 85
(* compile a .lus source file *)
86 86
let rec compile_source dirname basename extension =
87
  let source_name = dirname ^ "/" ^ basename ^ extension in
87
  let source_name = (* dirname ^ "/" ^*) basename ^ extension in
88 88

  
89 89
  Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v>");
90 90

  

Also available in: Unified diff