summaryrefslogtreecommitdiff
path: root/src/full/Agda/Utils/Cluster.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Utils/Cluster.hs')
-rw-r--r--src/full/Agda/Utils/Cluster.hs6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/full/Agda/Utils/Cluster.hs b/src/full/Agda/Utils/Cluster.hs
index f72229f..65790a0 100644
--- a/src/full/Agda/Utils/Cluster.hs
+++ b/src/full/Agda/Utils/Cluster.hs
@@ -1,6 +1,6 @@
--- {-# LANGUAGE FlexibleInstances #-}
-{-# LANGUAGE TemplateHaskell #-}
--- {-# LANGUAGE TupleSections #-}
+-- {-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE TemplateHaskell #-}
+-- {-# LANGUAGE TupleSections #-}
-- | Create clusters of non-overlapping things.