feat: use CCArray.fast_sort instead of Array.sort for NSet

Drup · Oct 9, 2024 · 38a36eb · 38a36eb
1 parent 9282bb0
commit 38a36eb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/common/Type.ml b/lib/common/Type.ml
@@ -187,7 +187,7 @@ end = struct
   type t = elt Array.t
 
   let compare = CCArray.compare Base.compare
-  let sort = CCArray.sort Base.compare
+  let sort = CCArray.fast_sort Base.compare
 
   let of_list lst =
     let t = CCArray.of_list lst in