Use the right pc

OCamlPro · Jun 6, 2024 · 9c4ac2b · 9c4ac2b
1 parent 2264613
commit 9c4ac2b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cmd/cmd_conc.ml b/src/cmd/cmd_conc.ml
@@ -398,8 +398,8 @@ let rec add_trace pc node (trace : trace) to_update : eval_tree list =
     node :: to_update
   end
   | head_of_trace :: tail_of_trace -> (
-    try_initialize pc node head_of_trace;
     let pc = head_of_trace :: pc in
+    try_initialize pc node head_of_trace;
     match (node.node, head_of_trace) with
     | Not_explored, _ -> assert false
     | Unreachable, _ -> assert false