v1.0.4

Colonial-Dev · Colonial-Dev · commit 73e112e2dc80 · 2024-05-03T13:39:06.000-04:00
Fix (yet another) off-by-one in the UI logic
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.3"
+version     = "1.0.4"
 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/ui/proof.rs b/src/ui/proof.rs
@@ -191,7 +191,7 @@ impl ProofUi {
                 if end == n {
                     self.lines.remove(n);
                 } else {
-                    self.lines.drain(n..end); 
+                    self.lines.drain(n..=end); 
                 }
             }
             else {
