tree 48cda65e6fb46a9044424d56d4a9f4209bc36d9c
parent 7bfeea9e5bf5dcd2421d4d8363ba613137745afe
author Ian Zerny <zerny@google.com> 1590641102 +0200
committer Ian Zerny <zerny@google.com> 1590641162 +0000

Preserve local info in assertion rewriter.

Change-Id: I1eb979dde012a12bceba6c6b84560414cc686374