From 548d5b21d68c94bb4b8377bb1cb912c0e4e00650 Mon Sep 17 00:00:00 2001 From: rtel Date: Mon, 7 Oct 2019 18:56:33 +0000 Subject: [PATCH] Minor formatting change in comment only. git-svn-id: https://svn.code.sf.net/p/freertos/code/trunk@2732 1d2547de-c912-0410-9cb9-b8ca96c0e9e2 --- 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 -- 2.39.5