From 2f0c3deb5ce5b0aa9abb20b78066b7e8277667d2 Mon Sep 17 00:00:00 2001 From: imaqtkatt Date: Tue, 12 Mar 2024 15:58:58 -0300 Subject: [PATCH] Remove expand in debug hook --- src/lib.rs | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/lib.rs b/src/lib.rs index 9f48321f2..5c9f6081e 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -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 {