remove unused imports

nick8325 · Sep 11, 2017 · ad8b838 · ad8b838
1 parent b360d66
commit ad8b838
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/Twee.hs b/src/Twee.hs
@@ -26,15 +26,12 @@ import Data.List
 import Data.Function
 import qualified Data.Set as Set
 import Data.Set(Set)
-import Text.Printf
 import Data.Int
 import Data.Ord
 import Control.Monad
 import Control.Monad.IO.Class
 import Control.Monad.Trans.Class
 import qualified Control.Monad.Trans.State.Strict as StateM
-import Data.Word
-import Data.Bits
 
 ----------------------------------------------------------------------
 -- Configuration and prover state.