diff options
| author | Minijackson <minijackson@riseup.net> | 2023-01-04 09:31:37 +0100 |
|---|---|---|
| committer | Minijackson <minijackson@riseup.net> | 2023-01-04 09:31:37 +0100 |
| commit | a8b4c7a4520978cf01f4014eeb2bbc58c5d34a92 (patch) | |
| tree | 51bc0a7bf0130254709a436c95134a7acfe4b8fb /z3-solver | |
| parent | fb4bec5371a8c3d9372a857725c725ab9b792ac8 (diff) | |
| download | diaphragm-a8b4c7a4520978cf01f4014eeb2bbc58c5d34a92.tar.gz diaphragm-a8b4c7a4520978cf01f4014eeb2bbc58c5d34a92.zip | |
treewide: remove some dbg calls
Diffstat (limited to 'z3-solver')
| -rw-r--r-- | z3-solver/src/lib.rs | 2 |
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> { | |||
| 68 | self.max_bool_id += 1; | 68 | self.max_bool_id += 1; |
| 69 | let id = self.max_bool_id; | 69 | let id = self.max_bool_id; |
| 70 | let handle = VariableHandle::new(id as usize); | 70 | let handle = VariableHandle::new(id as usize); |
| 71 | self.bools.insert(handle, dbg!(f)); | 71 | self.bools.insert(handle, f); |
| 72 | Bool::new(handle) | 72 | Bool::new(handle) |
| 73 | } | 73 | } |
| 74 | 74 | ||