From b29fd538e4e781e0a12ba9f226e7051605882197 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Thu, 9 Sep 2021 23:51:00 +0200
Subject: [PATCH] fix import in main

---
 src/Quox.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Quox.idr b/src/Quox.idr
index cd617fa..785cc8a 100644
--- a/src/Quox.idr
+++ b/src/Quox.idr
@@ -1,6 +1,6 @@
 module Quox
 
-import public Quox.Syntax.Term
+import public Quox.Syntax
 import public Quox.Pretty
 
 import Data.Nat