v1.0.2

Various UI tweaks Fix off-by-one in modal strict nesting check
Colonial-Dev · Apr 29, 2024 · 81c7ffc · 81c7ffc
1 parent c611a37
commit 81c7ffc
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name        = "deduct"
 authors     = ["Colonial"]
-version     = "1.0.1"
+version     = "1.0.2"
 edition     = "2021"
 description = "A Fitch-style natural deduction proof checker, with support for modal logic."
 repository  = "https://github.com/Colonial-Dev/deduct"

diff --git a/src/check/rules.rs b/src/check/rules.rs
@@ -237,7 +237,7 @@ fn check_strict_nesting(p: &Proof, s: u16, e: u16) -> Result<(), CheckError> {
     let mut depth = 0_u16;
     let mut nest  = 0_u16;
 
-    for n in s..e {
+    for n in s..=e {
         let line = p.line(n).unwrap();
 
         if line.s.is_nec_signal() {