diff options
Diffstat (limited to 'ghc/compiler/simplCore/SAT.lhs')
| -rw-r--r-- | ghc/compiler/simplCore/SAT.lhs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/ghc/compiler/simplCore/SAT.lhs b/ghc/compiler/simplCore/SAT.lhs index cf67ced4d7..ed76213bf5 100644 --- a/ghc/compiler/simplCore/SAT.lhs +++ b/ghc/compiler/simplCore/SAT.lhs @@ -98,10 +98,6 @@ satExpr var@(Var v) satExpr lit@(Lit _) = returnSAT lit -satExpr e@(Con con types args) - = mapSAT satAtom args `thenSAT_` - returnSAT e - satExpr e@(Prim prim ty args) = mapSAT satAtom args `thenSAT_` returnSAT e |