From 0f94ac819d664b0c1f8feaf567648a3724b5eadb Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Fri, 6 Sep 2024 10:55:12 +0200
Subject: Named source language

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

(limited to 'chad-fast.cabal')

diff --git a/chad-fast.cabal b/chad-fast.cabal
index 0c9170c..290329b 100644
--- a/chad-fast.cabal
+++ b/chad-fast.cabal
@@ -22,7 +22,6 @@ library
     Example
     Language
     Language.AST
-    Language.Tag
     Lemmas
     -- PreludeCu
     Simplify
-- 
cgit v1.2.3-70-g09d2