Revision 3b2bd83d
Added by Teme Kahsai about 8 years ago
src/sortProg.ml | ||
---|---|---|
42 | 42 |
) |
43 | 43 |
g [] |
44 | 44 |
) |
45 |
with (Causality.Cycle v) as exc ->
|
|
46 |
Causality.pp_error Format.err_formatter v;
|
|
45 |
with (Causality.Error err) as exc ->
|
|
46 |
Causality.pp_error Format.err_formatter err;
|
|
47 | 47 |
raise exc |
48 | 48 |
in |
49 | 49 |
Log.report ~level:3 |
Also available in: Unified diff
updating to onera version 30f766a:2016-12-04