diff options
Diffstat (limited to 'src/eval.c')
| -rw-r--r-- | src/eval.c | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -27,7 +27,11 @@ char just_is_sound(line_t line, lineSet_t lines) { case DISJUNCT_INTRO: a = *prop.propA; b = *prop.propB; - w = lines.lines[just.references[0] - 1].proposition; + wl = lines.lines[just.references[0] - 1]; + w = wl.proposition; + if (!seqlt(line.scope, wl.scope)) { + return 0; + } return peq(a, w) || peq(b, w); case IMPLICATION_INTRO: a = *prop.propA; @@ -51,7 +55,11 @@ char just_is_sound(line_t line, lineSet_t lines) { /* ensure that the arguments are in the correct scope */ return as.scope.id == res.scope.id && as.scope.depth == line.scope.depth + 1; case CONJUNCT_ELIM: - w = lines.lines[just.references[0] - 1].proposition; + wl = lines.lines[just.references[0] - 1]; + w = wl.proposition; + if (!seqlt(line.scope, wl.scope)) { + return 0; + } return peq(prop, *w.propA) || peq(prop, *w.propB); default: return 0; |