Remove extra blank line after bound propagation message #554

Job	Run time
Run tests (windows-2025, msvc, mingw64, false, -md)	9m 52s
Run tests (windows-2025, x86_64, mingw64, false)	13m 20s
Run tests (windows-2022, msvc, mingw64, true, -dbg)	7m 34s
Run tests (windows-2022, x86_64, mingw64, true, -dbg)	9m 7s
	39m 53s

Provide feedback