From 3b13f0a82cec1c339d544f5aa1003e48627084c5 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Thu, 2 Feb 2023 14:58:36 +0100
Subject: [PATCH] silence a warning

---
 lib/Quox/Typing.idr | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/Quox/Typing.idr b/lib/Quox/Typing.idr
index fb5915f..571122a 100644
--- a/lib/Quox/Typing.idr
+++ b/lib/Quox/Typing.idr
@@ -12,6 +12,8 @@ import Control.Monad.State
 import Generics.Derive
 
 %hide TT.Name
+%hide SOP.from
+%hide SOP.to
 %default total
 %language ElabReflection