From d4c2a2d51e16cf483c67dfc4d589ded9a2e29417 Mon Sep 17 00:00:00 2001
From: Shaked Flur
Date: Thu, 12 Jul 2018 09:19:01 +0100
Subject: Minor fix to support OCaml 4.02.3

---
 src/gen_lib/sail2_string.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/gen_lib/sail2_string.lem')

diff --git a/src/gen_lib/sail2_string.lem b/src/gen_lib/sail2_string.lem
index d0e40ad4..ba3a2d51 100644
--- a/src/gen_lib/sail2_string.lem
+++ b/src/gen_lib/sail2_string.lem
@@ -31,7 +31,7 @@ let string_append = stringAppend
 
 val maybeIntegerOfString : string -> maybe integer
 let maybeIntegerOfString _ = Nothing (* TODO FIXME *)
-declare ocaml target_rep function maybeIntegerOfString = `(fun s -> match int_of_string_opt s with None -> None | Some i -> Some (Nat_big_num.of_int i))`
+declare ocaml target_rep function maybeIntegerOfString = `(fun s -> match int_of_string s with i -> Some (Nat_big_num.of_int i) | exception Failure _ -> None )`
 
 (***********************************************
  * end stuff that should be in Lem Num_extra   *
-- 
cgit v1.2.3