Fixed nextstep issue in HTML file

harmonylang · Nov 3, 2024 · 4502962 · 4502962
1 parent 30b29fd
commit 4502962
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/harmony_model_checker/harmony/charm.js b/harmony_model_checker/harmony/charm.js
@@ -837,6 +837,9 @@ function run_microsteps() {
     threadtable.rows[tid].cells[3].innerHTML = threads[tid].stack;
   }
 
+  for (var i = 0; i < nmegasteps; i++) {
+    megasteps[i].nextstep.innerHTML = "";
+  }
   for (var t = 0; t < currentTime; t++) {
     run_microstep(t);
   }