Fixed test
commitb82cec2ac87d0984f23a0b31d43a5fcb8a041d58
authorDavid Christiansen <david@davidchristiansen.dk>
dateMon 22 Apr 2013, 22:36 (14 years ago)
parent40208c4
test/test024/expected+1−1
@@ -1,3 +1,3 @@
11Type checking ./test024.idr
2−() : ()
32testtest
3+() : ()