sbv-13.0: SBVTestSuite/TestSuite/CompileTests/SCase/SCase17.stderr

There was no failure during compilation.