summaryrefslogtreecommitdiff
path: root/src/full/Agda/Utils/Functor.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Utils/Functor.hs')
-rw-r--r--src/full/Agda/Utils/Functor.hs1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/full/Agda/Utils/Functor.hs b/src/full/Agda/Utils/Functor.hs
index ec2afd4..746c237 100644
--- a/src/full/Agda/Utils/Functor.hs
+++ b/src/full/Agda/Utils/Functor.hs
@@ -1,5 +1,4 @@
{-# LANGUAGE CPP #-}
-{-# LANGUAGE TupleSections #-}
-- | Utilities for functors.