From a1074fc851afcb6e858285ab9c6585b042ac1782 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Tue, 29 Apr 2025 15:56:39 +0200
Subject: Tracing simplifier

---
 chad-fast.cabal | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'chad-fast.cabal')

diff --git a/chad-fast.cabal b/chad-fast.cabal
index 1aadc6b..b0ed639 100644
--- a/chad-fast.cabal
+++ b/chad-fast.cabal
@@ -46,6 +46,7 @@ library
     Language.AST
     Lemmas
     Simplify
+    Simplify.TH
     Util.IdGen
   other-modules:
   build-depends:
@@ -53,10 +54,10 @@ library
     containers,
     deepseq,
     directory,
-    -- template-haskell,
     prettyprinter,
     process,
     some,
+    template-haskell,
     transformers,
     unix,
     vector,
-- 
cgit v1.2.3-70-g09d2