mirror of
https://github.com/GaloisInc/cryptol.git
synced 2025-01-05 15:07:12 +03:00
remove unnecessary import
This commit is contained in:
parent
dbb41dd646
commit
d5aff31d64
@ -19,7 +19,6 @@ import Cryptol.Utils.PP
|
||||
|
||||
import qualified Control.Exception as X
|
||||
import Control.Monad (guard, when)
|
||||
import qualified Control.Monad.IO.Class as MTL
|
||||
import qualified Control.Monad.Trans.Class as MTL
|
||||
import Data.Char (isAlphaNum, isSpace)
|
||||
import Data.Function (on)
|
||||
|
Loading…
Reference in New Issue
Block a user