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 ee60853f9adf074366a62394b7b1364dce879b16..28668de14c57de6391e38cfdef45cdee4bd1b4d8 100644 (file)
--- a/FreeRTOS/Source/include/FreeRTOS.h
+++ b/FreeRTOS/Source/include/FreeRTOS.h
@@ -242,10 +242,10 @@ extern "C" {
 #endif\r
 \r
 /* configPRECONDITION should be resolve to configASSERT.\r
-   The CBMC proofs need a way to track assumptions and assertions.\r
-   A configPRECONDITION statement should express an implicit invariant or assumption made.\r
-   A configASSERT statement should express an invariant that must hold explicit before calling\r
-   the code. */\r
+The CBMC proofs need a way to track assumptions and assertions.\r
+A configPRECONDITION statement should express an implicit invariant or\r
+assumption made.  A configASSERT statement should express an invariant that must\r
+hold explicit before calling the code. */\r
 #ifndef configPRECONDITION\r
        #define configPRECONDITION( X ) configASSERT(X)\r
        #define configPRECONDITION_DEFINED 0\r