git.iko.soy/Idris-dev
on master help sign in
Test fixed
commit22d09c9b6c2faaa4799aa3facff43e85919693b8 authorJan Bessai <Jan.Bessai@tu-dortmund.de> dateFri 5 Apr 2013, 02:25 (14 years ago) parent441d941
1 file changed+1−1
compare with master
unifiedsplit
test/test025/run+1−1
test/test025/run+1−1
@@ -1,4 +1,4 @@
11#!/bin/bash
2−idris -p effects $@ test025.idr -o test024
2+idris -p effects $@ test025.idr -o test025
33./test025
44rm -f test025 *.ibc