summaryrefslogtreecommitdiff
path: root/src/full/Agda/Utils/Permutation/Tests.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Utils/Permutation/Tests.hs')
-rw-r--r--src/full/Agda/Utils/Permutation/Tests.hs10
1 files changed, 5 insertions, 5 deletions
diff --git a/src/full/Agda/Utils/Permutation/Tests.hs b/src/full/Agda/Utils/Permutation/Tests.hs
index eaf80c6..736161d 100644
--- a/src/full/Agda/Utils/Permutation/Tests.hs
+++ b/src/full/Agda/Utils/Permutation/Tests.hs
@@ -1,11 +1,11 @@
{-# OPTIONS_GHC -fno-warn-missing-signatures #-}
-{-# LANGUAGE CPP #-}
+{-# LANGUAGE CPP #-}
{-# LANGUAGE DeriveDataTypeable #-}
-{-# LANGUAGE DeriveFoldable #-}
-{-# LANGUAGE DeriveFunctor #-}
-{-# LANGUAGE DeriveTraversable #-}
-{-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE DeriveFoldable #-}
+{-# LANGUAGE DeriveFunctor #-}
+{-# LANGUAGE DeriveTraversable #-}
+{-# LANGUAGE TemplateHaskell #-}
module Agda.Utils.Permutation.Tests (tests) where