diff options
| author | Robert Norton | 2018-02-06 14:40:14 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-02-06 16:19:51 +0000 |
| commit | a2d7f3436b83a72e24d693697eeb4951165cba3d (patch) | |
| tree | 163cc0f9cfa2bb8da5b319c840fb994fe6b55513 /src | |
| parent | 1b12cf5d19ce7e1a6b5f86f60f354d295bc344c3 (diff) | |
fix backwards arguments to pow2.
Diffstat (limited to 'src')
| -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 4d6e32bc..eb11a62d 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -461,7 +461,7 @@ let gt (x, y) = Big_int.greater x y let lteq (x, y) = Big_int.less_equal x y let gteq (x, y) = Big_int.greater_equal x y -let pow2 x = Big_int.pow_int x 2 +let pow2 x = Big_int.pow_int (Big_int.of_int 2) (Big_int.to_int x) let max_int (x, y) = Big_int.max x y let min_int (x, y) = Big_int.min x y |