From b1ccdc07a945d47a0ef5ca9bdec575f6b831cd27 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 15 Aug 2018 17:39:49 +0100
Subject: Various cleanups to ott grammar

Add additional well-formedness check when calling typing rules
---
 src/sail_lib.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sail_lib.ml')

diff --git a/src/sail_lib.ml b/src/sail_lib.ml
index 16b1d3cc..a7f91beb 100644
--- a/src/sail_lib.ml
+++ b/src/sail_lib.ml
@@ -507,7 +507,7 @@ let int_of_string_opt s =
   try
     Some (int_of_string s)
   with
-  | Failure "int_of_string" -> None
+  | Failure _ -> None
 
 (* highly inefficient recursive implementation *)
 let rec maybe_int_of_prefix = function
-- 
cgit v1.2.3