diff options
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 34d34993..132af6f5 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -465,7 +465,7 @@ let string_startswith (str1, str2) = String.compare (String.sub str1 0 (String.l let string_drop (str, n) = let n = Big_int.to_int n in String.sub str n (String.length str - n) -let string_length str = String.length str +let string_length str = Big_int.of_int (String.length str) let lt_int (x, y) = Big_int.less x y |