Searched refs:update_fake_stree_with_merged (Results 1 – 1 of 1) sorted by relevance
1001 static void update_fake_stree_with_merged(void) in update_fake_stree_with_merged() function1018 update_fake_stree_with_merged(); in __merge_true_states()