adapt to anoma/juvix-stdlib#82

anoma · Sep 22, 2023 · 0efca0a · 0efca0a
1 parent 0a4cae9
commit 0efca0a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Data/List.juvix b/Data/List.juvix
@@ -23,7 +23,7 @@ unzipWith
 range : Nat -> List Nat
   | n := rangeStep 1 n;
 
-sortInt : List Int -> List Int := quickSort ordIntI;
+sortInt : List Int -> List Int := quickSort;
 
 eqListInt : List Int -> List Int -> Bool
   | nil nil := true

diff --git a/juvix.yaml b/juvix.yaml
@@ -5,4 +5,4 @@ dependencies:
   - git:
       url: https://github.com/anoma/juvix-stdlib
       name: stdlib
-      ref: 4facf14d9b2d06b81ce1be1882aa9050f768cb45
+      ref: ad27db542e0b220e117dec22f11ed6de78892f72