diff --git a/src/tint2conf/properties_rw.c b/src/tint2conf/properties_rw.c index 0250ce1..dfc5e7e 100644 --- a/src/tint2conf/properties_rw.c +++ b/src/tint2conf/properties_rw.c @@ -645,7 +645,7 @@ void config_write_execp(FILE *fp) { for (int i = 0; i < executors->len; i++) { fprintf(fp, "#-------------------------------------\n"); - fprintf(fp, "# Executor\n"); + fprintf(fp, "# Executor %d\n", i + 1); Executor *executor = &g_array_index(executors, Executor, i);