From b166be3ad87818726a02fe2f75c049d9b093f79d Mon Sep 17 00:00:00 2001 From: Marcello Seri Date: Mon, 19 Feb 2018 15:55:08 +0000 Subject: [PATCH] fixup! CA-283754: v6_interface, do not discard internal errors --- v6/v6_interface.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/v6/v6_interface.ml b/v6/v6_interface.ml index fb2311c6..6083f636 100644 --- a/v6/v6_interface.ml +++ b/v6/v6_interface.ml @@ -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)))