From 45fdc4d11f3aecc1f84d27e555e66ccf8174db53 Mon Sep 17 00:00:00 2001
From: Daniel Lubarov <daniel@lubarov.com>
Date: Mon, 9 Aug 2021 19:26:16 -0700
Subject: [PATCH] debug_assert

---
 src/gates/gate.rs  | 3 +--
 src/iop/witness.rs | 1 -
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/gates/gate.rs b/src/gates/gate.rs
index e21dc16e..2ac38d60 100644
--- a/src/gates/gate.rs
+++ b/src/gates/gate.rs
@@ -43,8 +43,7 @@ pub trait Gate<F: Extendable<D>, const D: usize>: 'static + Send + Sync {
         values
             .into_iter()
             .map(|value| {
-                // TODO: Change to debug-only once our gate code is mostly finished/stable.
-                assert!(F::Extension::is_in_basefield(&value));
+                debug_assert!(F::Extension::is_in_basefield(&value));
                 value.to_basefield_array()[0]
             })
             .collect()
diff --git a/src/iop/witness.rs b/src/iop/witness.rs
index 49950a72..0c9828a3 100644
--- a/src/iop/witness.rs
+++ b/src/iop/witness.rs
@@ -1,4 +1,3 @@
-use std::collections::HashMap;
 use std::convert::TryInto;
 
 use anyhow::{ensure, Result};