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

(limited to 'src/Inky/Data/Fun.idr')

diff --git a/src/Inky/Data/Fun.idr b/src/Inky/Data/Fun.idr
index d9acb7d..390745a 100644
--- a/src/Inky/Data/Fun.idr
+++ b/src/Inky/Data/Fun.idr
@@ -1,7 +1,7 @@
 module Inky.Data.Fun
 
-import public Inky.Data.SnocList.Quantifiers
-import Inky.Data.SnocList
+import public Flap.Data.SnocList.Quantifiers
+import Flap.Data.SnocList
 
 public export
 Fun : SnocList Type -> Type -> Type
-- 
cgit v1.2.3