Test output correction
commit141f5f1a52e9b84cce2b0ed04563b84c626fcbb1
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateMon 31 Aug 2015, 20:27 (11 years ago)
parentd3b66cd
test/interactive005/expected+1−1
@@ -7,7 +7,7 @@ Main.main : IO ()
77Main.main is Total
88Hello, World
99id : a -> a
10−Prelude.Basics.id : {a : Type} -> (__pi_arg : a) -> a
10+Prelude.Basics.id : {a : Type} -> a -> a
1111id : a -> a
1212
1313 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS ``AS IS'' AND ANY