summaryrefslogtreecommitdiff
path: root/src/full/Agda/Interaction/Monad.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Interaction/Monad.hs')
-rw-r--r--src/full/Agda/Interaction/Monad.hs3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/full/Agda/Interaction/Monad.hs b/src/full/Agda/Interaction/Monad.hs
index 089fc92..9edb2fe 100644
--- a/src/full/Agda/Interaction/Monad.hs
+++ b/src/full/Agda/Interaction/Monad.hs
@@ -1,6 +1,5 @@
-{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
-{-# LANGUAGE TypeSynonymInstances #-}
module Agda.Interaction.Monad where