diff options
| -rw-r--r-- | board/armltd/vexpress/vexpress_tc2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/board/armltd/vexpress/vexpress_tc2.c b/board/armltd/vexpress/vexpress_tc2.c index b143e04..9cd0ec8 100644 --- a/board/armltd/vexpress/vexpress_tc2.c +++ b/board/armltd/vexpress/vexpress_tc2.c @@ -18,7 +18,7 @@ bool armv7_boot_nonsec_default(void) { #ifdef CONFIG_ARMV7_BOOT_SEC_DEFAULT - return false + return false; #else /* * The Serial Configuration Controller (SCC) register at address 0x700 |