1 files changed, 1 insertions, 1 deletions

diff --git a/z3-solver/src/lib.rs b/z3-solver/src/lib.rs
index 1c90a6f..db907e7 100644
--- a/z3-solver/src/lib.rs
+++ b/z3-solver/src/lib.rs
@@ -68,7 +68,7 @@ impl<'z3> Z3Context<'z3> {
         self.max_bool_id += 1;
         let id = self.max_bool_id;
         let handle = VariableHandle::new(id as usize);
-        self.bools.insert(handle, dbg!(f));
+        self.bools.insert(handle, f);
         Bool::new(handle)
     }