Fix spelling issues.

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

diff --git a/FreeRTOS/Source/include/FreeRTOS.h b/FreeRTOS/Source/include/FreeRTOS.h
index 33e9fa6b65a0f3ab178a2df3821263e384ddd35b..4df39db39cbf4db6a969c7fa9b1e409cab332d47 100644 (file)
--- a/FreeRTOS/Source/include/FreeRTOS.h
+++ b/FreeRTOS/Source/include/FreeRTOS.h
@@ -241,7 +241,7 @@ extern "C" {
        #define configASSERT_DEFINED 1\r
 #endif\r
 \r
-/* configPRECONDITION should be resolve to configASSERT.\r
+/* configPRECONDITION should be defined as configASSERT.\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