summaryrefslogtreecommitdiff
path: root/src/full/Agda/Compiler/MAlonzo/Pretty.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Compiler/MAlonzo/Pretty.hs')
-rw-r--r--src/full/Agda/Compiler/MAlonzo/Pretty.hs6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/full/Agda/Compiler/MAlonzo/Pretty.hs b/src/full/Agda/Compiler/MAlonzo/Pretty.hs
index db08a8d..379589e 100644
--- a/src/full/Agda/Compiler/MAlonzo/Pretty.hs
+++ b/src/full/Agda/Compiler/MAlonzo/Pretty.hs
@@ -1,7 +1,7 @@
-{-# LANGUAGE FlexibleContexts #-}
-{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
-{-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE TemplateHaskell #-}
------------------------------------------------------------------------
-- Pretty-printing of Haskell modules