Project

General

Profile

Revision 3b2bd83d src/sortProg.ml

View differences:

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