From b1a6928a50168c9778cc31cea42d080f94d9df1a Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Thu, 28 Nov 2019 12:41:22 -0800
Subject: [PATCH] [sledge] Avoid wildcard exception handler

Reviewed By: ngorogiannis

Differential Revision: D18736383

fbshipit-source-id: 7c87307ff
---
 sledge/src/domain/itv.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/sledge/src/domain/itv.ml b/sledge/src/domain/itv.ml
index 2646c8094..739eb5dde 100644
--- a/sledge/src/domain/itv.ml
+++ b/sledge/src/domain/itv.ml
@@ -104,7 +104,8 @@ and apron_texpr_of_llair_term tm q typ =
   | Integer {data} -> Some (Texpr1.Cst (Coeff.s_of_int (Z.to_int data)))
   | Float {data} ->
       let f =
-        try Float.of_string data with _ -> failwith "malformed float: %s"
+        try Float.of_string data
+        with Invalid_argument _ -> failwith "malformed float: %s"
       in
       Some (Texpr1.Cst (Coeff.s_of_float f))
   | Ap1 (Convert {dst; src}, t) -> (