diff --git a/kernel/drivers/opensbi/extensions/timer.cpp b/kernel/drivers/opensbi/extensions/timer.cpp
index 8bdb3b9..dc1fdc8 100644
--- a/kernel/drivers/opensbi/extensions/timer.cpp
+++ b/kernel/drivers/opensbi/extensions/timer.cpp
@@ -9,7 +9,7 @@ namespace opensbi::timer {
         };
 
         enum class FunctionId {
-            SET_TIMER,
+            SET_TIMER
         };
     }