Rewrote 'expected' file
commit3146e46f7ce70abee03e16a0d7ac1d94e43aba86
authorPhilip Rasmussen <pjor@itu.dk>
dateTue 22 Apr 2014, 23:58 (13 years ago)
parent6f08060
test/idrisdoc005/expected+1
@@ -1,2 +1,3 @@
1+Type checking ./TestTracing.idr
12True
23True