diff --git a/hw/bsp/board.h b/hw/bsp/board.h
index b5abfe22c..15e3a2511 100644
--- a/hw/bsp/board.h
+++ b/hw/bsp/board.h
@@ -78,7 +78,7 @@ int board_uart_write(void const * buf, int len);
   {
     return os_time_ticks_to_ms32( os_time_get() );
   }
-#elif
+#else
   #error "Need to implement board_millis() for this OS"
 #endif