Commits

Iago Abal committed b25810a

Remove unused LANGUAGE pragmas

  • Participants
  • Parent commits a3e4b4f

Comments (0)

Files changed (1)

 {-# LANGUAGE DeriveDataTypeable         #-}
-{-# LANGUAGE DeriveFoldable             #-}
-{-# LANGUAGE DeriveTraversable          #-}
-{-# LANGUAGE FlexibleInstances          #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
-{-# LANGUAGE IncoherentInstances        #-}
-{-# LANGUAGE OverlappingInstances       #-}
 {-# LANGUAGE PatternGuards              #-}
-{-# LANGUAGE ScopedTypeVariables        #-}
 {-# LANGUAGE TupleSections              #-}
-{-# LANGUAGE TypeFamilies               #-}
-{-# LANGUAGE TypeSynonymInstances       #-}
-{-# LANGUAGE UndecidableInstances       #-}
 
 -- |
 -- Module    : Z3.Base