From a2d7f3436b83a72e24d693697eeb4951165cba3d Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 6 Feb 2018 14:40:14 +0000
Subject: fix backwards arguments to pow2.

---
 src/sail_lib.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit v1.2.3