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 2f5d1d15..134a3e77 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -3,7 +3,7 @@ module Big_int = Nat_big_num type 'a return = { return : 'b . 'a -> 'b } type 'za zoption = | ZNone of unit | ZSome of 'za;; -let zint_forwardsz3 _ = assert false +let zint_forwardsz3 i = string_of_int (Big_int.to_int i) let opt_trace = ref false |