Project

General

Profile

Revision 933ee7a3 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
262 262
	let traces_out = open_out traces_file in
263 263
	let fmt = formatter_of_out_channel traces_out in
264 264
	Horn_backend.traces_file fmt basename prog machine_code;
265

  
266

  
267 265
	)
268 266
      end
269 267
    | "lustre" ->

Also available in: Unified diff