diff options
Diffstat (limited to 'formal/promela/models/chains/chains-api-model.pml')
| -rw-r--r-- | formal/promela/models/chains/chains-api-model.pml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/formal/promela/models/chains/chains-api-model.pml b/formal/promela/models/chains/chains-api-model.pml index b4ae38e2..a90f04c3 100644 --- a/formal/promela/models/chains/chains-api-model.pml +++ b/formal/promela/models/chains/chains-api-model.pml @@ -169,7 +169,6 @@ init { pid nr; atomic{ printf("\n\n Chain Model running.\n"); - printf("@@@ 0 NAME Chain_AutoGen\n") printf("@@@ 0 DEF MAX_SIZE 8\n"); printf("@@@ 0 DCLARRAY Node memory MAX_SIZE\n"); printf("@@@ 0 DECL unsigned nptr NULL\n") |