From 39b899b4951be5b78058d5c0e35977b065a63951 Mon Sep 17 00:00:00 2001
From: Tom Smeding <t.j.smeding@uu.nl>
Date: Thu, 25 Jan 2024 17:25:32 +0100
Subject: Getting further

---
 chad-fast.cabal | 1 +
 1 file changed, 1 insertion(+)

(limited to 'chad-fast.cabal')

diff --git a/chad-fast.cabal b/chad-fast.cabal
index fb5f4de..66452d9 100644
--- a/chad-fast.cabal
+++ b/chad-fast.cabal
@@ -16,6 +16,7 @@ library
     AST.Weaken
     CHAD
     -- Compile
+    Data
     Example
     Lemmas
     PreludeCu
-- 
cgit v1.2.3-70-g09d2