tree abbe073d266c1787cad58b8c8bbe614c8b1472ce
parent fa2b73658e02bf8d10c341aea9e891b4f02b1c8e
parent 7c4a6e68006673c11f1e71194e081e88b7513fde
author davidcunado-arm <david.cunado@arm.com> 1516034259 +0000
committer GitHub <noreply@github.com> 1516034259 +0000

Merge pull request #1225 from dp-arm/dp/amu-remove-warn

AMU: Remove unnecessary WARN()