From ef400d86b3ec0fa8f38c7074180d05e8d1cd1cf4 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Fri, 20 Oct 2023 04:54:22 +0200
Subject: [PATCH] prettyval

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

diff --git a/exe/quox.ipkg b/exe/quox.ipkg
index e20197a..fed30f4 100644
--- a/exe/quox.ipkg
+++ b/exe/quox.ipkg
@@ -1,7 +1,7 @@
 package quox
 version = 0
 
-depends = base, contrib, elab-util, sop, quox-lib
+depends = base, contrib, elab-util, pretty-show, quox-lib
 
 executable = quox
 main = Main