From: rtel <rtel@1d2547de-c912-0410-9cb9-b8ca96c0e9e2>
Date: Mon, 7 Oct 2019 18:56:33 +0000 (+0000)
Subject: Minor formatting change in comment only.
X-Git-Tag: V10.3.0~91
X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=548d5b21d68c94bb4b8377bb1cb912c0e4e00650;p=freertos

Minor formatting change in comment only.

git-svn-id: https://svn.code.sf.net/p/freertos/code/trunk@2732 1d2547de-c912-0410-9cb9-b8ca96c0e9e2
---

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