Merge branch 'tuan/add-specs-conversion-check' of github.com:notional…

…-labs/ibc-rs into tuan/add-specs-conversion-check
informalsystems · Apr 13, 2024 · 0183fcb · 0183fcb
2 parents 696072e + 35bb2f0
commit 0183fcb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ibc-core/ics23-commitment/types/src/specs.rs b/ibc-core/ics23-commitment/types/src/specs.rs
@@ -33,8 +33,8 @@ impl ProofSpecs {
         }
         for proof_spec in &self.0 {
             // A non-positive `min_depth` or `max_depth` indicates no limit on the respective bound.
-            // Both positive `min_depth` and `max_depth` can be specified. However, in this case,
-            //  `max_depth` must be greater than `min_depth` to ensure a valid range.
+            // Both positive `min_depth` and `max_depth` can be specified. However, in that case,
+            //  `max_depth` must be greater than or equal to `min_depth` to ensure a valid range.
             if 0 < proof_spec.0.min_depth
                 && 0 < proof_spec.0.max_depth
                 && proof_spec.0.max_depth < proof_spec.0.min_depth