Project

General

Profile

« Previous | Next » 

Revision 3b2bd83d

Added by Teme Kahsai about 8 years ago

updating to onera version 30f766a:2016-12-04

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