typo in unique001 test corrected
commit5b5da7ad174bc71c39116fba26a77ad46b532d83
authorAndreas Reuleaux <arx@a-rx.info>
dateThu 19 Mar 2015, 19:05 (12 years ago)
parent3e40420
test/unique001/run−1
@@ -7,4 +7,3 @@ idris --consolewidth 80 $@ unique001c.idr --check
77idris --consolewidth 80 $@ unique001d.idr --check
88idris --consolewidth 80 $@ unique001e.idr --check
99rm -f unique001 *.ibc
10−k