/* for now, copy the type info tag, it will be adjusted in split_by(). */
Z_prime->type_is_T_or_C = Z->type_is_T_or_C;
- update_worklist(Z, Z_prime, env);
-
dump_partition("Now ", Z);
dump_partition("Created new ", Z_prime);
+
+ update_worklist(Z, Z_prime, env);
+
return Z_prime;
} /* split_no_followers */
check_partition(X);
check_partition(X_prime);
+ dump_partition("Now ", X);
+ dump_partition("Created new ", X_prime);
+
/* X' is the smaller part */
add_to_worklist(X_prime, env);
}
}
- dump_partition("Now ", X);
- dump_partition("Created new ", X_prime);
-
/* we have to ensure that the partition containing g is returned */
if (winner != 0) {
*pX = X_prime;