From 901a2ea46a0041b8185aab3e1fef0e76783b5449 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Mon, 27 Nov 2017 14:49:23 +0000
Subject: Fix bitvector pattern removal typo

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

(limited to 'src')

diff --git a/src/rewriter.ml b/src/rewriter.ml
index 62e4f7ef..1857087f 100644
--- a/src/rewriter.ml
+++ b/src/rewriter.ml
@@ -1982,7 +1982,7 @@ let remove_bitvector_pat pat =
     let collect_guards_decls ps rootid t =
       let (start,_,ord,_) = vector_typ_args_of t in
       let rec collect current (guards,dls) idx ps =
-        let idx' = if is_order_inc ord then add_big_int idx unit_big_int else add_big_int idx unit_big_int in
+        let idx' = if is_order_inc ord then add_big_int idx unit_big_int else sub_big_int idx unit_big_int in
         (match ps with
           | pat :: ps' ->
             (match pat with
-- 
cgit v1.2.3