summaryrefslogtreecommitdiff
path: root/src/eval.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/eval.c')
-rw-r--r--src/eval.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/eval.c b/src/eval.c
index 263e1c1..0c5d1db 100644
--- a/src/eval.c
+++ b/src/eval.c
@@ -2,6 +2,7 @@
#include "eval.h"
#include "stdio.h"
#include "parse.h"
+/* TODO: separate cases into functions */
char just_is_sound(line_t line, lineSet_t lines) {
prop_t prop = line.proposition;
just_t just = line.justification;