From ac0334ca4c6040369e8878cf066d752837605a7d Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sat, 11 Feb 2023 18:14:12 +0100
Subject: [PATCH] reexport needed types from Term.Split

---
 lib/Quox/Syntax/Term/Split.idr | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/Quox/Syntax/Term/Split.idr b/lib/Quox/Syntax/Term/Split.idr
index ec56d5c..85f9941 100644
--- a/lib/Quox/Syntax/Term/Split.idr
+++ b/lib/Quox/Syntax/Term/Split.idr
@@ -3,8 +3,8 @@ module Quox.Syntax.Term.Split
 import Quox.Syntax.Term.Base
 import Quox.Syntax.Term.Subst
 
-import Quox.No
-import Data.Vect
+import public Quox.No
+import public Data.Vect
 
 %default total