summaryrefslogtreecommitdiff
path: root/src/full/Agda/Auto/NarrowingSearch.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Auto/NarrowingSearch.hs')
-rw-r--r--src/full/Agda/Auto/NarrowingSearch.hs5
1 files changed, 0 insertions, 5 deletions
diff --git a/src/full/Agda/Auto/NarrowingSearch.hs b/src/full/Agda/Auto/NarrowingSearch.hs
index e4e0b42..3affdfb 100644
--- a/src/full/Agda/Auto/NarrowingSearch.hs
+++ b/src/full/Agda/Auto/NarrowingSearch.hs
@@ -1,9 +1,4 @@
{-# LANGUAGE CPP #-}
-{-# LANGUAGE ExistentialQuantification #-}
-{-# LANGUAGE FlexibleInstances #-}
-{-# LANGUAGE FunctionalDependencies #-}
-{-# LANGUAGE MultiParamTypeClasses #-}
-{-# LANGUAGE Rank2Types #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Agda.Auto.NarrowingSearch where