IntSet validity: Tip cannot be empty

haskell · Apr 6, 2024 · 40f8503 · 40f8503
1 parent b3ae761
commit 40f8503
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/containers-tests/tests/IntSetValidity.hs b/containers-tests/tests/IntSetValidity.hs
@@ -70,7 +70,7 @@ tipsValid :: IntSet -> Bool
 tipsValid t =
   case t of
     Nil -> True
-    tip@(Tip p b) -> validTipPrefix p
+    tip@(Tip p b) -> validTipPrefix p && b /= 0
     Bin _ l r -> tipsValid l && tipsValid r
 
 validTipPrefix :: Int -> Bool