Fix expected result of totality007 on windows
commit5feb424d8c124d2f638b7279d47df78235ae5099
authorNiklas Larsson <niklas@mm.st>
dateWed 22 Jul 2015, 23:47 (11 years ago)
parentcf4489e
test/totality007/expected.msysnew file+5
@@ -0,0 +1,5 @@
1+Entering directory `.\src'
2+Totality.idr:4:1:
3+Totality.foo is not total as there are missing cases
4+Totality.idr:4:1:Could not build: Totality.foo is not total as there are missing cases
5+Leaving directory `.\src'