Double fixity/priority definition of >> in a single file was removed

idris-lang · Feb 26, 2021 · 9b5a773 · 9b5a773
1 parent 3ec64a7
commit 9b5a773
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/libs/prelude/Prelude/Ops.idr b/libs/prelude/Prelude/Ops.idr
@@ -2,7 +2,6 @@ module Prelude.Ops
 
 -- Numerical operators
 infix 6 ==, /=, <, <=, >, >=
-infixl 7 <<, >> -- unused
 infixl 8 +, -
 infixl 9 *, /