diff options
Diffstat (limited to 'formal/promela/models/chains/chains-api-model-run.h')
-rw-r--r-- | formal/promela/models/chains/chains-api-model-run.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/formal/promela/models/chains/chains-api-model-run.h b/formal/promela/models/chains/chains-api-model-run.h index 6320e503..688a2b16 100644 --- a/formal/promela/models/chains/chains-api-model-run.h +++ b/formal/promela/models/chains/chains-api-model-run.h @@ -1,7 +1,6 @@ /* SPDX-License-Identifier: BSD-3-Clause */ -void RtemsModelChainsAPI_Run{0}( -) +static void RtemsModelChainsAPI_Run{0}(void) {{ Context ctx; |