Project

General

Profile

Revision 990210f3 src/main_lustre_testgen.ml

View differences:

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