diff options
Diffstat (limited to 'FreeRTOS-Plus/Test/CBMC/patches/FreeRTOSConfig.h')
-rw-r--r-- | FreeRTOS-Plus/Test/CBMC/patches/FreeRTOSConfig.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/FreeRTOS-Plus/Test/CBMC/patches/FreeRTOSConfig.h b/FreeRTOS-Plus/Test/CBMC/patches/FreeRTOSConfig.h index 67b48e18c..33b207630 100644 --- a/FreeRTOS-Plus/Test/CBMC/patches/FreeRTOSConfig.h +++ b/FreeRTOS-Plus/Test/CBMC/patches/FreeRTOSConfig.h @@ -1,5 +1,5 @@ /* - * FreeRTOS Kernel V10.4.0 + * FreeRTOS Kernel V10.4.1 * Copyright (C) 2017 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of |