tree ea4fec152fcf59580564054c4f482b71a7f43f54
parent e4417ebfd0bc16688922d6098e90844bba9b1178
author P.Y. Laligand <pylaligand@google.com> 1579317438 +0000
committer CQ bot account: commit-bot@chromium.org <commit-bot@chromium.org> 1579317438 +0000

[unification] Display proper verification messages.

Bug: 36137
Change-Id: Ifc37511dcf45bf914dd14d82b9649b215eecc87a