From 48d93c9d2366ed5eeb84758e12659ef374bb868a Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Thu, 29 Dec 2022 20:33:34 +0900 Subject: v10.0.2 --- src/id_table.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/id_table.c') 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; } -- cgit v1.2.3