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