aboutsummaryrefslogtreecommitdiff
path: root/src/CHAD/Example
diff options
context:
space:
mode:
Diffstat (limited to 'src/CHAD/Example')
-rw-r--r--src/CHAD/Example/GMM.hs2
1 files changed, 1 insertions, 1 deletions
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