Fix a new line issue under windows that would cause the very fragile lit test basic/concrete/havoc.bpl test to fail.
Fix a new line issue under windows that would cause the very
fragile lit test basic/concrete/havoc.bpl test to fail.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix