tree 4f437e4fb89642e14bcad0e2fbdd4da39db4b3c2
parent 862aaefdd63d8058b54a7d956a0229eec9dcbde6
author Calin Juravle <calin@google.com> 1429712391 +0100
committer Calin Juravle <calin@google.com> 1429712678 +0100

Remove warning when we do too many simplifications

This happens pretty often and pollutes the logs.

Change-Id: I074783d3cf3519a5186d2dd81c821d97071302e7