fix Trait.Ord

anoma · Oct 5, 2023 · 36ca85e · 36ca85e
1 parent 1211f11
commit 36ca85e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Stdlib/Trait/Ord.juvix b/Stdlib/Trait/Ord.juvix
@@ -41,7 +41,7 @@ syntax operator < comparison;
 < {A} {{Ord A}} (x y : A) : Bool :=
   case Ord.cmp x y of {
     | EQ := true
-    | LT := true
+    | LT := false
     | GT := false
   };