Skip to content

Commit

Permalink
fixup! CA-283754: v6_interface, do not discard internal errors
Browse files Browse the repository at this point in the history
  • Loading branch information
Marcello Seri committed Feb 19, 2018
1 parent a848b05 commit b166be3
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions v6/v6_interface.ml
Original file line number Diff line number Diff line change
Expand Up @@ -94,8 +94,7 @@ exception V6_error of errors
(** handle exception generation and raising *)
let err = Error.{
def = errors;
raiser = (function
| e -> raise (V6_error e));
raiser = (fun e -> raise (V6_error e));
matcher = (function
| V6_error e -> Some e
| e -> Some (Internal_error (Printexc.to_string e)))
Expand Down

0 comments on commit b166be3

Please sign in to comment.