Skip to content

Commit

Permalink
Remove expand in debug hook
Browse files Browse the repository at this point in the history
  • Loading branch information
imaqtkatt committed Mar 12, 2024
1 parent d788c0a commit 2f0c3de
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -261,11 +261,10 @@ pub fn run_compiled(
let start_time = Instant::now();

if let Some(mut hook) = hook {
root.expand();
while !root.redexes.is_empty() {
hook(&host.lock().unwrap().readback(root));
let readback = host.lock().unwrap().readback(root);
hook(&readback);
root.reduce(1);
root.expand();
}
} else if let Some(mut max_rwts) = max_rwts {
if run_opts.lazy_mode {
Expand Down

0 comments on commit 2f0c3de

Please sign in to comment.