From 2f7ac38cca2ebab41b8adb76b69e0949eeae488d Mon Sep 17 00:00:00 2001 From: Kai Stevenson Date: Tue, 13 Jun 2023 01:59:43 -0700 Subject: fixed bugs, just_is_sound works for conjunct intro --- operetta.c | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'operetta.c') diff --git a/operetta.c b/operetta.c index 2c4f555..c72a979 100644 --- a/operetta.c +++ b/operetta.c @@ -4,6 +4,7 @@ #include "lexer.h" #include "parse.h" #include "proposition.h" +#include "eval.h" int main(int argc, char** argv) { /* read file */ @@ -12,12 +13,15 @@ int main(int argc, char** argv) { int lineCount = count_lines(content); lineSet_t lines = parse_lines(content, lineCount); for (int i = 0; i < lines.count; i++) { - for (int j = 0; j < lines.lines[i].aLevel; j++) { + line_t line = lines.lines[i]; + printf("%d. ", i + 1); + for (int j = 0; j < line.aLevel; j++) { printf(" > "); } - write_prop(lines.lines[i].proposition); + write_prop(line.proposition); printf(" BECAUSE: "); - write_just(lines.lines[i].justification); + write_just(line.justification); + printf(just_is_sound(line.proposition, line.justification, lines) ? " " : " "); printf("\n"); } free(content); -- cgit v1.3.1