From caa9d17ea794a0b4823170551545498d458e1fc2 Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Tue, 13 Jun 2023 14:21:07 -0700
Subject: implemented scoping for some justifications, added helper functions

---
 operetta.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'operetta.c')

diff --git a/operetta.c b/operetta.c
index f547f2f..f754895 100644
--- a/operetta.c
+++ b/operetta.c
@@ -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);
-- 
cgit v1.3.1