tree 1b81ca0d711ca0561e933563aee255b516a4191f
parent 5ad27592e2317b4c7932885eff702099f7cbe0f1
parent 73f1f3be46652d3f6df61b4234c366ebbf81274a
author Aart Bik <ajcbik@google.com> 1446152417 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1446152417 +0000

Merge "Move loop invariant utility to more general place."