diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-07-04 08:27:23 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-07-21 07:48:56 +0200 |
| commit | 31ab71f4981c0a0cc14266e64b0ae741b6b44abc (patch) | |
| tree | 6028ddac6e86b06b4b164d07bf351718f2870138 /spec | |
| parent | a74c0f08d5717641a93f722415f69c7fdd852f26 (diff) | |
spec: Fix format
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/rtems/malloc/req/malloc.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/rtems/malloc/req/malloc.yml b/spec/rtems/malloc/req/malloc.yml index 1eef7c9b..82ae500a 100644 --- a/spec/rtems/malloc/req/malloc.yml +++ b/spec/rtems/malloc/req/malloc.yml @@ -47,7 +47,7 @@ post-conditions: T_ge_uptr( size, ctx->size ); text: | The size of the allocated memory area shall greater than or equal to the - ``size` parameter. + ``size`` parameter. test-epilogue: null test-prologue: | void *ptr; |