diff --git a/libsel4simple-default/src/arch/riscv/default.c b/libsel4simple-default/src/arch/riscv/default.c
index c8684381..d1d015d3 100644
--- a/libsel4simple-default/src/arch/riscv/default.c
+++ b/libsel4simple-default/src/arch/riscv/default.c
@@ -26,7 +26,7 @@ seL4_Error simple_default_get_irq_trigger(void *data, int irq, int trigger, UNUS
     return seL4_IRQControl_GetTrigger(seL4_CapIRQControl, irq, trigger, root, index, depth);
 }
 
-void simple_default_init_arch_simple(arch_simple_t *simple, void *data) 
+void simple_default_init_arch_simple(arch_simple_t *simple, void *data)
 {
     simple->data = data;
     simple->irq = simple_default_get_irq;