From 6e2ed0f5870e974ed5800080c2c86022422c2e45 Mon Sep 17 00:00:00 2001
From: Simon Gardling <titaniumtown@gmail.com>
Date: Mon, 16 May 2022 10:01:49 -0400
Subject: [PATCH] clean assumes

---
 src/math_app.rs | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/math_app.rs b/src/math_app.rs
index e112a60..5bd2b0a 100644
--- a/src/math_app.rs
+++ b/src/math_app.rs
@@ -140,7 +140,6 @@ impl MathApp {
 					debug_assert!(!data.is_empty());
 					unsafe {
 						assume(!data.is_empty());
-						assume(data.len() > 0);
 					}
 
 					let (commit, cached_data) = crate::misc::hashed_storage_read(data);
@@ -149,8 +148,6 @@ impl MathApp {
 					debug_assert!(!cached_data.is_empty());
 
 					unsafe {
-						assume(commit.len() > 0);
-						assume(cached_data.len() > 0);
 						assume(!commit.is_empty());
 						assume(!cached_data.is_empty());
 					}
@@ -170,7 +167,6 @@ impl MathApp {
 					debug_assert!(!data.is_empty());
 
 					unsafe {
-						assume(data.len() > 0);
 						assume(!data.is_empty());
 					}
 
@@ -188,8 +184,6 @@ impl MathApp {
 						debug_assert!(!func_data.is_empty());
 
 						unsafe {
-							assume(commit.len() > 0);
-							assume(func_data.len() > 0);
 							assume(!commit.is_empty());
 							assume(!func_data.is_empty());
 						}