hlint and remove dead code

runtimeverification · Oct 17, 2024 · 57a99d5 · 57a99d5
1 parent e2a2720
commit 57a99d5
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/booster/library/Booster/Pattern/Rewrite.hs b/booster/library/Booster/Pattern/Rewrite.hs
@@ -1,5 +1,4 @@
 {-# LANGUAGE DeriveTraversable #-}
-{-# LANGUAGE InstanceSigs #-}
 {-# LANGUAGE MultiWayIf #-}
 {-# LANGUAGE PatternSynonyms #-}
 {-# LANGUAGE RankNTypes #-}
@@ -70,7 +69,6 @@ import Booster.Pattern.Pretty
 import Booster.Pattern.Util
 import Booster.Prettyprinter
 import Booster.SMT.Interface qualified as SMT
-import Booster.SMT.Runner qualified as SMT
 import Booster.Syntax.Json.Externalise (externalisePredicate, externaliseSort, externaliseTerm)
 import Booster.Util (Flag (..))
 
@@ -909,9 +907,6 @@ performRewrite rewriteConfig pat = do
                     emitRewriteTrace $ RewriteSimplified (Just other)
                     pure $ Just p
 
-    simplifyRulePredicate :: Predicate -> io Predicate
-    simplifyRulePredicate = undefined
-
     -- Results may change when simplification prunes a false side
     -- condition, otherwise this would mainly be fmap simplifyP
     simplifyResult ::