framac: fixing invalid ACSL

outpost-os · Oct 1, 2024 · 031464b · 031464b
1 parent 6487d26
commit 031464b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kernel/src/managers/dma/dma.c b/kernel/src/managers/dma/dma.c
@@ -147,7 +147,7 @@ kstatus_t mgr_dma_get_owner(dmah_t d, taskh_t *owner)
 }
 
 /*@
- * \requires valid(state);
+   requires \valid(state);
  */
 kstatus_t mgr_dma_get_state(dmah_t d, dma_chan_state_t *state)
 {