diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-12-29 20:35:22 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-12-29 20:35:22 +0900 |
| commit | ac7d69285bc796a07030db40e126deebbd7a8fa2 (patch) | |
| tree | 2f0b685e52715979161a78aa4cfe21615460fd41 /src/id_table.c | |
| parent | d2304c259e164f90564e9ff96ce9caba09c802b0 (diff) | |
| parent | 48d93c9d2366ed5eeb84758e12659ef374bb868a (diff) | |
| download | inpla-ac7d69285bc796a07030db40e126deebbd7a8fa2.tar.gz inpla-ac7d69285bc796a07030db40e126deebbd7a8fa2.zip | |
Merge branch 'develop'
Diffstat (limited to '')
| -rw-r--r-- | src/id_table.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/id_table.c b/src/id_table.c index 70072d6..a7e0226 100644 --- a/src/id_table.c +++ b/src/id_table.c @@ -157,7 +157,7 @@ void IdTable_set_arity(int id, int arity) if ((IdTable[id].aux.arity == -1) || (IdTable[id].aux.arity == arity)) { IdTable[id].aux.arity = arity; } else { - printf("Warning: The agent '%s' has been already defined as whose arity is %d, but now used as the arity is %d.\n", + printf("Warning: The agent `%s' has been previously defined of arity %d, but is now used of arity %d.\n", IdTable[id].name, IdTable[id].aux.arity, arity); IdTable[id].aux.arity = arity; } |