diff options
| author | Alasdair Armstrong | 2018-08-15 17:39:49 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-08-16 15:04:13 +0100 |
| commit | b1ccdc07a945d47a0ef5ca9bdec575f6b831cd27 (patch) | |
| tree | fe694dc3541ade7ffa64116ca64a765a95c7d55d /src/sail_lib.ml | |
| parent | 5d3c6b295ca18efd8ca8c9e52245766f2c2c7394 (diff) | |
Various cleanups to ott grammar
Add additional well-formedness check when calling typing rules
Diffstat (limited to 'src/sail_lib.ml')
| -rw-r--r-- | src/sail_lib.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |