Doc fixes.
[bertos.git] / kern / monitor.h
index b6f4151e27962163ead813b3dbfc42d9a7da6183..95bbb6db9a752f18a7b11df8ad5f98b9a3a0f925 100644 (file)
@@ -64,7 +64,7 @@ void monitor_start(size_t stacksize, cpustack_t *stack);
  * the interrupt supervisor stack).
  *
  * \note For this function to work, the stack must have been filled at startup with
- * #CONFIG_KERN_STACKFILLCODE.
+ * CONFIG_KERN_STACKFILLCODE.
  */
 size_t monitor_checkStack(cpustack_t *stack_base, size_t stack_size);