Fix test output
authorIavor S. Diatchki <diatchki@galois.com>
Thu, 16 Apr 2015 19:45:01 +0000 (12:45 -0700)
committerIavor S. Diatchki <diatchki@galois.com>
Thu, 16 Apr 2015 19:45:01 +0000 (12:45 -0700)
commitea579d9e4ae91bda93f692e110de0a97b9dda6f7
treeddd8c356f2d03139459e17a3ace802f5f8d18233
parente68e8ca1371ae8ba3880e15b921a8413fdfdb84c
Fix test output
testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr