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