From 3caa95a139538bb07c74847ca3aba2603a03c502 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Fri, 15 Nov 2024 15:44:30 +0000
Subject: Add compilation to scheme.

Extract parser as an independent project.
---
 src/Inky/Term/Pretty/Error.idr | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/Inky/Term/Pretty/Error.idr')

diff --git a/src/Inky/Term/Pretty/Error.idr b/src/Inky/Term/Pretty/Error.idr
index bb19b2f..651d208 100644
--- a/src/Inky/Term/Pretty/Error.idr
+++ b/src/Inky/Term/Pretty/Error.idr
@@ -5,9 +5,10 @@ import Data.Singleton
 import Data.String
 import Data.These
 
-import Inky.Decidable.Maybe
+import Flap.Decidable.Maybe
+
 import Inky.Term
-import Inky.Term.Checks
+import Inky.Term.Recompute
 import Inky.Type.Pretty
 
 import Text.PrettyPrint.Prettyprinter
-- 
cgit v1.2.3