From 1083b6016c427d7eb519f9238384b1ebe5395061 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Fri, 28 Feb 2025 16:57:18 +0100
Subject: Remove stupid old nonworking cuda stub

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

(limited to 'chad-fast.cabal')

diff --git a/chad-fast.cabal b/chad-fast.cabal
index 8b212a5..c052a7d 100644
--- a/chad-fast.cabal
+++ b/chad-fast.cabal
@@ -28,7 +28,6 @@ library
     CHAD.Types
     Compile
     Compile.Exec
-    -- CompileCu
     Data
     Example
     Example.GMM
@@ -42,7 +41,6 @@ library
     Language
     Language.AST
     Lemmas
-    -- PreludeCu
     Simplify
     Util.IdGen
   other-modules:
-- 
cgit v1.2.3-70-g09d2