From 126a585c7495d76d4320b96d63b5b644a34cbe46 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sat, 25 Mar 2023 20:55:47 +0100
Subject: [PATCH] remove unused dep

---
 tests/quox-tests.ipkg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/quox-tests.ipkg b/tests/quox-tests.ipkg
index 4cac8ed..62766f0 100644
--- a/tests/quox-tests.ipkg
+++ b/tests/quox-tests.ipkg
@@ -1,6 +1,6 @@
 package quox-tests
 
-depends = base, contrib, elab-util, sop, snocvect, quox-lib, tap
+depends = base, contrib, elab-util, snocvect, quox-lib, tap
 
 executable = quox-tests
 main = Tests