sbv-14.7: SBVTestSuite/TestSuite/CompileTests/SCase/SCase26.stderr

There was no failure during compilation.