OSDN Git Service

Merge "Move loop invariant utility to more general place."
authorAart Bik <ajcbik@google.com>
Thu, 29 Oct 2015 21:06:17 +0000 (21:06 +0000)
committerandroid-build-merger <android-build-merger@google.com>
Thu, 29 Oct 2015 21:06:17 +0000 (21:06 +0000)
commitb8f6d7c3360180174276bab7618760724500d148
tree1b81ca0d711ca0561e933563aee255b516a4191f
parentf080d1cc9101813bb15d47f9775e32c86868e462
parentc65d1f3d26a47e2fce3c3f8872e7942fec23f9b9
Merge "Move loop invariant utility to more general place."
am: c65d1f3d26

* commit 'c65d1f3d26a47e2fce3c3f8872e7942fec23f9b9':
  Move loop invariant utility to more general place.