Skip to content

Commit 585ce7b

Browse files
committed
Fix step calculation
1 parent ac92bf3 commit 585ce7b

File tree

1 file changed

+2
-5
lines changed

1 file changed

+2
-5
lines changed

kernel/src/main.rs

Lines changed: 2 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3855,11 +3855,8 @@ fn main() {
38553855
break;
38563856
}
38573857
}
3858-
let p = s.metta_calculus(1);
3859-
performed += p;
3860-
if p == 0 {
3861-
break;
3862-
}
3858+
let p = s.metta_calculus(0);
3859+
performed += 1;
38633860
}
38643861
println!("executing {performed} steps took {} ms (unifications {}, writes {}, transitions {})", t0.elapsed().as_millis(), unsafe { unifications }, unsafe { writes }, unsafe { transitions });
38653862
if instrumentation > 0 { println!("dumping {} expressions", s.btm.val_count()) }

0 commit comments

Comments
 (0)