Includes a missing semi-colon

Adds a semi-colon which had been forgotten about.

Change-Id: I3047e52bd7f730e4ad5e0f432280846b89d2eede
Signed-off-by: Matthew Dalzell <matthew.dalzell@arm.com>
1 file changed