on master help sign in
Remove colour codes from ffi001 expected
commit264f7738860f00a4fcb3f7b865295830756399e0 authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateTue 4 Feb 2014, 12:01 (13 years ago) parent20fbc08
1 file changed+1−1
test/ffi001/expected+1−1
test/ffi001/expected+1−1
@@ -1,2 +1,2 @@
11Type checking ./test022.idr
2−[?1049h(B[?7h[?1049l [?1l>0.9995736030415051 : Float
2+0.9995736030415051 : Float