summaryrefslogtreecommitdiff
path: root/src/full/Agda/Utils/Except.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Utils/Except.hs')
-rw-r--r--src/full/Agda/Utils/Except.hs5
1 files changed, 2 insertions, 3 deletions
diff --git a/src/full/Agda/Utils/Except.hs b/src/full/Agda/Utils/Except.hs
index f2c3107..f55060d 100644
--- a/src/full/Agda/Utils/Except.hs
+++ b/src/full/Agda/Utils/Except.hs
@@ -1,6 +1,5 @@
-{-# LANGUAGE CPP #-}
-{-# LANGUAGE FlexibleInstances #-}
-{-# LANGUAGE TypeSynonymInstances #-}
+{-# LANGUAGE CPP #-}
+{-# LANGUAGE FlexibleInstances #-}
------------------------------------------------------------------------------
-- | Wrapper for Control.Monad.Except from the mtl package