trivial: fix whitespace

Signed-off-by: Jimmy Brush <[email protected]>
seL4 · Aug 22, 2023 · 7fb680e · 7fb680e
1 parent 69d3eb6
commit 7fb680e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;