tree 6c63aac8871de4143ee37f2a513023f1247b2117
parent 30eb58c548bee08468f68eb140a74a51dd7d9b43
author Calin Juravle <calin@google.com> 1435578196 +0000
committer Calin Juravle <calin@google.com> 1435578196 +0000

Revert "Do not update the type of something we already know."

This reverts commit 30eb58c548bee08468f68eb140a74a51dd7d9b43.

Change-Id: Icd959e868160fc3ee7031dd2927554ac5b21d40f