X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FsimplCore%2FSAT.lhs;h=81f3c4c406d83b0e197e42f723b8951b72c5ed64;hb=e0b2097136f30331bae67cb01e66bba749d272c1;hp=ed76213bf5b85c80b4f21cf805e8bb78da7f51c5;hpb=111cee3f1ad93816cb828e38b38521d85c3bcebb;p=ghc-hetmet.git diff --git a/ghc/compiler/simplCore/SAT.lhs b/ghc/compiler/simplCore/SAT.lhs index ed76213..81f3c4c 100644 --- a/ghc/compiler/simplCore/SAT.lhs +++ b/ghc/compiler/simplCore/SAT.lhs @@ -57,7 +57,7 @@ doStaticArgs :: [CoreBind] -> UniqSupply -> [CoreBind] doStaticArgs binds = do { - beginPass "Static argument"; + showPass "Static argument"; let { binds' = initSAT (mapSAT sat_bind binds) }; endPass "Static argument" False -- No specific flag for dumping SAT