implemented scoping for some justifications, added helper functions

1 files changed, 1 insertions, 1 deletions

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