Update FreeRTOS.h with the version in GitHub. This is also to test submodule.

[freertos] / FreeRTOS / Source / include / FreeRTOS.h

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