Project

General

Profile

Revision 04a188ec src/checks/algebraicLoop.ml

View differences:

src/checks/algebraicLoop.ml
373 373
      (* We stop with unresolved AL *)(* TODO create a report *)
374 374
      (* Printing the report on stderr *)
375 375
      Format.eprintf "%a" pp_report report;
376
      raise (Corelang.Error (Location.dummy_loc, Error.AlgebraicLoop))
376
      raise (Error.Error (Location.dummy_loc, Error.AlgebraicLoop))
377 377
    )
378 378
  in
379 379
  (* Printing the report on stderr *)

Also available in: Unified diff