tree b1361628951a5f86474719512436253cab6cff40
parent a7fe25d5a53bd930a56b0980d214914cb7f6821b
author Gilles Peskine <Gilles.Peskine@arm.com> 1528106563 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1528106563 +0200

Use our habitual INTERNAL_ERROR debug message