Revision 933ee7a3
Added by Teme Kahsai almost 10 years ago
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
synch with svn