Project

General

Profile

Revision 0172f92d

View differences:

src/main_lustre_compiler.ml
169 169
   end
170 170

  
171 171
let compile_prog basename extension =
172
 ()
172 173

  
173 174
let rec compile basename extension =
174 175

  
......
413 414

  
414 415
    | _ -> assert false
415 416
  in
416
  Log.report ~level:1 (fun fmt -> fprintf fmt ".. done !@ @]@.");
417
  begin
418
    Log.report ~level:1 (fun fmt -> fprintf fmt ".. done !@ @]@.");
417 419
  (* We stop the process here *)
418
  exit 0
420
    exit 0
421
  end
419 422
  
420 423
let anonymous filename =
421 424
  let ok_ext, ext = List.fold_left (fun (ok, ext) ext' -> if not ok && Filename.check_suffix filename ext' then true, ext' else ok, ext) (false, "") extensions in

Also available in: Unified diff