Commit bdf78ec6 authored by POTTIER Francois's avatar POTTIER Francois

Use [invalid_arg].

parent 1e4c767a
......@@ -434,7 +434,7 @@ module Make (T : TABLE) = struct
| InputNeeded env ->
Obj.magic discard env
| _ ->
raise (Invalid_argument "offer expects InputNeeded")
invalid_arg "offer expects InputNeeded"
let resume : 'a . 'a checkpoint -> 'a checkpoint = function
| HandlingError env ->
......@@ -444,7 +444,7 @@ module Make (T : TABLE) = struct
| AboutToReduce (env, prod) ->
Obj.magic reduce env prod
| _ ->
raise (Invalid_argument "resume expects HandlingError | AboutToReduce")
invalid_arg "resume expects HandlingError | AboutToReduce"
(* --------------------------------------------------------------------------- *)
(* --------------------------------------------------------------------------- *)
......@@ -725,4 +725,3 @@ module Make (T : TABLE) = struct
env
end
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment