summaryrefslogtreecommitdiff
path: root/src/full/Agda/Auto/CaseSplit.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Auto/CaseSplit.hs')
-rw-r--r--src/full/Agda/Auto/CaseSplit.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/full/Agda/Auto/CaseSplit.hs b/src/full/Agda/Auto/CaseSplit.hs
index 5720314..30019f6 100644
--- a/src/full/Agda/Auto/CaseSplit.hs
+++ b/src/full/Agda/Auto/CaseSplit.hs
@@ -1,5 +1,5 @@
-{-# LANGUAGE CPP #-}
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE CPP #-}
+{-# LANGUAGE Rank2Types #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Agda.Auto.CaseSplit where