Fix expected output for test024
commit51fbc35b4a6c002f8d874326e75c5d3abcc08d98
authorDavid Christiansen <david@davidchristiansen.dk>
dateThu 4 Apr 2013, 11:05 (14 years ago)
parent59456cd
test/test024/expected+3−2
@@ -1,2 +1,3 @@
1−Type checking ./test022.idr
2−0.9995736030415051 : Float
1+Type checking ./test024.idr
2+() : ()
3+testtest