Project

General

Profile

Revision a0c92fa8 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
47 47

  
48 48
  (* Parsing source *)
49 49
  let prog = parse source_name extension in
50

  
50
  
51 51
  let prog =
52 52
    if !Options.mpfr &&
53 53
         extension = ".lus" (* trying to avoid the injection of the module for lusi files *) 
......
71 71
	  Log.report ~level:1 (fun fmt -> fprintf fmt ".. done !@ @]@.");
72 72
	  exit 0
73 73
	end
74
      else if !Options.print_nodes then (
75
        Format.printf "%a@.@?" Printers.pp_node_list prog;
76
        exit 0
77
      )
74 78
      else
75 79
        assert false
76 80
    )

Also available in: Unified diff