Revision 990210f3 src/main_lustre_testgen.ml
src/main_lustre_testgen.ml | ||
---|---|---|
172 | 172 |
| Corelang.Error _ (*| Task_set.Error _*) |
173 | 173 |
| Causality.Error _ -> exit 1 |
174 | 174 |
| Sys_error msg -> (eprintf "Failure: %s@." msg) |
175 |
| exc -> (Utils.track_exception (); raise exc)
|
|
175 |
| exc -> (track_exception (); raise exc) |
|
176 | 176 |
|
177 | 177 |
(* Local Variables: *) |
178 | 178 |
(* compile-command:"make -C .." *) |
Also available in: Unified diff