Corrected SMT trace output with multiple lines
Merge pull request #102 from chsticksel/develop

Corrected SMT trace output with multiple lines
Merge remote-tracking branch 'upstream/develop' into native-input