summaryrefslogtreecommitdiff
path: root/src/full/Agda/Interaction/Response.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Interaction/Response.hs')
-rw-r--r--src/full/Agda/Interaction/Response.hs5
1 files changed, 2 insertions, 3 deletions
diff --git a/src/full/Agda/Interaction/Response.hs b/src/full/Agda/Interaction/Response.hs
index f620452..2caf51f 100644
--- a/src/full/Agda/Interaction/Response.hs
+++ b/src/full/Agda/Interaction/Response.hs
@@ -1,6 +1,5 @@
-{-# LANGUAGE CPP #-}
-{-# LANGUAGE FlexibleInstances #-}
-{-# LANGUAGE TypeSynonymInstances #-}
+{-# LANGUAGE CPP #-}
+{-# LANGUAGE FlexibleInstances #-}
------------------------------------------------------------------------
-- | Data type for all interactive responses