From fd118f18885d7d1845fa2ed0b79f89bfc6fc379d Mon Sep 17 00:00:00 2001 From: Richard Barry Date: Mon, 7 Oct 2019 18:56:33 +0000 Subject: [PATCH] Minor formatting change in comment only. --- FreeRTOS/Source/include/FreeRTOS.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/FreeRTOS/Source/include/FreeRTOS.h b/FreeRTOS/Source/include/FreeRTOS.h index ee60853f9..28668de14 100644 --- a/FreeRTOS/Source/include/FreeRTOS.h +++ b/FreeRTOS/Source/include/FreeRTOS.h @@ -242,10 +242,10 @@ extern "C" { #endif /* configPRECONDITION should be resolve to configASSERT. - The CBMC proofs need a way to track assumptions and assertions. - A configPRECONDITION statement should express an implicit invariant or assumption made. - A configASSERT statement should express an invariant that must hold explicit before calling - the code. */ +The CBMC proofs need a way to track assumptions and assertions. +A configPRECONDITION statement should express an implicit invariant or +assumption made. A configASSERT statement should express an invariant that must +hold explicit before calling the code. */ #ifndef configPRECONDITION #define configPRECONDITION( X ) configASSERT(X) #define configPRECONDITION_DEFINED 0