From 19e53966572c1eb1fe6ea22b9d1e6f63bcc95fb1 Mon Sep 17 00:00:00 2001
From: Mathew Polzin <matt.polzin@gmail.com>
Date: Tue, 21 Jan 2025 09:55:56 -0600
Subject: [PATCH] remove redundant fixity declarations from SnocVect module

---
 src/Data/SnocVect.idr | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/Data/SnocVect.idr b/src/Data/SnocVect.idr
index ddba38a..2cc0e6d 100644
--- a/src/Data/SnocVect.idr
+++ b/src/Data/SnocVect.idr
@@ -17,9 +17,6 @@ data SnocVect : Nat -> Type -> Type where
 
 %name SnocVect sx, sy, sz
 
-export infixl 7 <><
-export infixr 6 <>>
-
 ||| 'fish': Action of lists on snoc-lists
 public export
 (<><) : SnocVect n a -> Vect m a -> SnocVect (n + m) a