From c9e198a81236b6339381aafc63ca5046ba242f00 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Mon, 22 Jun 2020 16:39:55 +0200 Subject: [PATCH] Fix balancedness of Data.Set --- src/libraries/OS-Independent/Data/Set.icl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/libraries/OS-Independent/Data/Set.icl b/src/libraries/OS-Independent/Data/Set.icl index c70917e8..6a692fc4 100644 --- a/src/libraries/OS-Independent/Data/Set.icl +++ b/src/libraries/OS-Independent/Data/Set.icl @@ -454,7 +454,7 @@ maxView x = Just (deleteFindMax x) However (since we use quickcheck :-) we will stick to strictly balanced trees. --------------------------------------------------------------------*/ -delta :== 4 +delta :== 3 ratio :== 2 // Functions balanceL and balanceR are specialised versions of balance. -- GitLab