diff options
Diffstat (limited to 'src/eval.c')
| -rw-r--r-- | src/eval.c | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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; |
