From 8be892e3653472bfc0fa7b38930e20b3fcf9f81b Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Tue, 16 Apr 2019 18:45:45 +0100
Subject: Remove unnecessary assert

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

(limited to 'src')

diff --git a/src/jib/jib_smt.ml b/src/jib/jib_smt.ml
index defe9762..44f8e24b 100644
--- a/src/jib/jib_smt.ml
+++ b/src/jib/jib_smt.ml
@@ -702,7 +702,6 @@ let builtin_get_slice_int env v1 v2 v3 ret_ctyp =
        else
          smt_cval env v2
      in
-     assert (start + len <= in_sz);
      Extract ((start + len) - 1, start, smt)
 
   | _, _, _, _ -> builtin_type_error "get_slice_int" [v1; v2; v3] (Some ret_ctyp)
-- 
cgit v1.2.3