Don't merge too many writes, because we have to scan them.

bredelings · Jun 30, 2024 · c99ba57 · c99ba57
1 parent c1538f5
commit c99ba57
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/computation/machine/graph_register.cc b/src/computation/machine/graph_register.cc
@@ -2877,7 +2877,7 @@ const expression_ref& reg_heap::get_reg_value_in_context(int& R, int c)
 int reg_heap::set_reg_value_in_context(int P, closure&& C, int c)
 {
     int t = token_for_context(c);
-    if (tokens[t].type != token_type::set or not tokens[t].children.empty() or tokens[t].n_context_refs > 1)
+    if (tokens[t].type != token_type::set or not tokens[t].children.empty() or tokens[t].n_context_refs > 1 or tokens[t].vm_step.delta().size() > 50)
 	t = switch_to_child_token(c, token_type::set);
     else
 	assert(tokens[t].n_context_refs == 1);