From a8b4c7a4520978cf01f4014eeb2bbc58c5d34a92 Mon Sep 17 00:00:00 2001 From: Minijackson Date: Wed, 4 Jan 2023 09:31:37 +0100 Subject: treewide: remove some dbg calls --- z3-solver/src/lib.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'z3-solver/src') 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) } -- cgit v1.2.3