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/Desugar.idr | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/Inky/Term/Desugar.idr')

diff --git a/src/Inky/Term/Desugar.idr b/src/Inky/Term/Desugar.idr
index 7051e4b..4bf8f05 100644
--- a/src/Inky/Term/Desugar.idr
+++ b/src/Inky/Term/Desugar.idr
@@ -2,8 +2,8 @@ module Inky.Term.Desugar
 
 import Data.List.Quantifiers
 import Data.Maybe
-import Inky.Data.List
-import Inky.Decidable
+import Flap.Data.List
+import Flap.Decidable
 import Inky.Term
 import Inky.Term.Substitution
 
-- 
cgit v1.2.3