Replace deprecated Sort.list with List.sort

feizheng10 · Apr 3, 2020 · 2a0f320 · 2a0f320
1 parent c69d6c3
commit 2a0f320
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/genfft/annotate.ml b/genfft/annotate.ml
@@ -78,9 +78,11 @@ let reorder l =
 	  List.map 
 	    (fun (a, x) -> ((a, x), (overlap va x, List.length x))) b in
 	let c' =
-	  Sort.list 
-	    (fun (_, (a, la)) (_, (b, lb)) -> 
-	      la < lb || a > b)
+	  List.sort 
+	    (fun (_, (a, la)) (_, (b, lb)) ->
+              if la < lb then -1
+              else if a > b then -1
+              else 1)
 	    c in
 	let b' = List.map (fun (a, _) -> a) c' in
 	a :: (loop b') in