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

---
 eval.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'eval.h')

diff --git a/eval.h b/eval.h
index bb994f3..74e7650 100644
--- a/eval.h
+++ b/eval.h
@@ -2,5 +2,5 @@
 #define EVAL
 #include "proposition.h"
 #include "parse.h"
-char just_is_sound(prop_t prop, just_t just, lineSet_t lines);
+char just_is_sound(line_t line, lineSet_t lines);
 #endif
-- 
cgit v1.3.1