From b4f07c673b7c710f5861bb84e67233c63336c53d Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Sat, 22 Nov 2025 22:40:40 +0100
Subject: Add a simplify rule

---
 src/CHAD/Example/GMM.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/CHAD/Example/GMM.hs')

diff --git a/src/CHAD/Example/GMM.hs b/src/CHAD/Example/GMM.hs
index 8f834e0..18641e8 100644
--- a/src/CHAD/Example/GMM.hs
+++ b/src/CHAD/Example/GMM.hs
@@ -3,7 +3,7 @@
 {-# LANGUAGE TypeApplications #-}
 module CHAD.Example.GMM where
 
-import CHAD.Data (SList(..), SNat(..))
+import CHAD.Data (SList(..))
 import CHAD.Example.Types
 import CHAD.Language
 
-- 
cgit v1.2.3-70-g09d2