fix bug in bin-vec.sml 'deleteMin' function: we previously deleted two elements, but we are supposed to delete one, and now this is fixed

2025-01-30 12:55:36 +00:00
parent 29389d3561
commit 755e5da7f7
2 changed files with 122 additions and 1 deletions
--- a/fcore/bin-vec.sml
+++ b/fcore/bin-vec.sml
@@ -40,7 +40,7 @@ struct
      Vector.fromList []
    else
      let
-        val len = Vector.length vec - 2
+        val len = Vector.length vec - 1
        val slice = VectorSlice.slice (vec, 1, SOME len)
      in
        VectorSlice.vector slice