From f2490f5ca35b528c7332791c6932045eb9d5438b Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Tue, 7 Jan 2025 13:50:13 +0000
Subject: Add quotation to help metaprogramming.

---
 inky.ipkg | 2 --
 1 file changed, 2 deletions(-)

(limited to 'inky.ipkg')

diff --git a/inky.ipkg b/inky.ipkg
index 493dea2..fe90df1 100644
--- a/inky.ipkg
+++ b/inky.ipkg
@@ -22,8 +22,6 @@ modules
   , Inky.Term.Pretty
   , Inky.Term.Pretty.Error
   , Inky.Term.Recompute
-  , Inky.Term.Substitution
-  , Inky.Term.Sugar
   , Inky.Type
   , Inky.Type.Pretty
   , Inky.Type.Substitution
-- 
cgit v1.2.3