tree d23075f0a28ae59fbfeb635e27dfc4da080e48ba
parent 0b78eacae4b34e3da099e5c0734a18eeeef74fb8
author chiyotsai <chiyotsai@google.com> 1626389071 -0700
committer Chi Yo Tsai <chiyotsai@google.com> 1626460079 +0000

Fix a incorrect pruning criterion from a refactoring commit

Change-Id: I7397eb94c563b02c72936260fffe5a2279d6af31