Searched defs:other_changed_previously (Results 1 – 2 of 2) sorted by relevance
6872 int other_changed_previously = other_changed; in simplify_set() local
6999 int other_changed_previously = other_changed; in simplify_set() local