Merge pull request #2312 from melted/broken_test
Don't include the executable in the output.
commit133b0aecdf4b46236a5fa322491bd46fb1a02b6a
authorNiklas Larsson <metaniklas@gmail.com>
dateFri 22 May 2015, 20:18 (11 years ago)
parent1843d027f51692
test/disambig001/disambig001.idr+1−1
@@ -8,5 +8,5 @@ import Effect.System
88main : IO ()
99main = do
1010 args <- System.getArgs
11− putStrLn (concat args)
11+ putStrLn (concat (drop 1 args))
1212
test/disambig001/expected+1−1
@@ -1 +1 @@
1−./disambig001foobar
1+foobar