diff options
Diffstat (limited to 'operetta.c')
| -rw-r--r-- | operetta.c | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -21,7 +21,8 @@ int main(int argc, char** argv) { write_prop(line.proposition); printf(" BECAUSE: "); write_just(line.justification); - printf(just_is_sound(line.proposition, line.justification, lines) ? " <SOUND>" : " <UNSOUND>"); + printf(just_is_sound(line, lines) ? " <SOUND>" : " <UNSOUND>"); + printf(" [%d]", line.scope.id); printf("\n"); } free(content); |
