From 71db59830383b7db5316b5c99ccebe776fc837dc Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Wed, 15 Jul 2020 13:55:12 +0100
Subject: Update duplicate ctor warning

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

(limited to 'src')

diff --git a/src/jib/jib_smt.ml b/src/jib/jib_smt.ml
index 359704b0..6cbd1b87 100644
--- a/src/jib/jib_smt.ml
+++ b/src/jib/jib_smt.ml
@@ -1086,7 +1086,7 @@ let builtin_count_leading_zeros ctx v ret_ctyp =
            bvint ret_sz (Big_int.zero))
     else (
       assert (sz land (sz - 1) = 0);
-      let hsz = sz /2 in
+      let hsz = sz / 2 in
       Ite (Fn ("=", [Extract (sz - 1, hsz, smt); bvzero hsz]),
            Fn ("bvadd", [bvint ret_sz (Big_int.of_int hsz); lzcnt hsz (Extract (hsz - 1, 0, smt))]),
            lzcnt hsz (Extract (sz - 1, hsz, smt)))
-- 
cgit v1.2.3