fixup! CA-283754: gpumon_interface, do not discard internal errors

xapi-project · Feb 19, 2018 · a848b05 · a848b05
1 parent f136be3
commit a848b05
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gpumon/gpumon_interface.ml b/gpumon/gpumon_interface.ml
@@ -76,7 +76,7 @@ exception Gpumon_error of gpu_errors
 (** Error handler *)
 let gpu_err = Error.{
     def = gpu_errors;
-    raiser = (function | e -> raise (Gpumon_error e));
+    raiser = (fun e -> raise (Gpumon_error e));
     matcher = (function
         | Gpumon_error e -> Some e
         | e -> Some (Internal_error (Printexc.to_string e)))