search

runtimeverification / hs-backend-booster

Accelerates K Framework's Haskell backend
BSD 3-Clause "New" or "Revised" License
7 stars 0 forks source link

Remove spurious newline from log messages #531

Closed geo2a closed 8 months ago

geo2a commented 8 months ago

I did not realize that defaultLogStr already adds a newline at the end --- no need to use hPutStrLn