From 81c7ffc11b5b1ea0921c4cbe6b626be71b732ef7 Mon Sep 17 00:00:00 2001
From: James Haywood <jameshaywood@fastmail.com>
Date: Mon, 29 Apr 2024 12:08:41 -0400
Subject: [PATCH] v1.0.2 Various UI tweaks Fix off-by-one in modal strict
 nesting check

---
 Cargo.lock         | 2 +-
 Cargo.toml         | 2 +-
 src/check/rules.rs | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index b5aa5cc..adc1ab9 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -843,7 +843,7 @@ checksum = "5c297a1c74b71ae29df00c3e22dd9534821d60eb9af5a0192823fa2acea70c2a"
 
 [[package]]
 name = "deduct"
-version = "1.0.1"
+version = "1.0.2"
 dependencies = [
  "eframe",
  "egui",
diff --git a/Cargo.toml b/Cargo.toml
index 46e0b91..4d66885 100644
--- 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
index 0c8e618..4f99fb9 100644
--- 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() {