Fix test/proof009 when Curses is enabled
commit73795745e05564edeceee92845c46e1f6074b9b6
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateTue 31 Mar 2015, 12:33 (12 years ago)
parenta2f90a5
test/proof009/run+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−idris $@ --quiet proof009.idr < input
2+idris $@ --consolewidth 70 --quiet proof009.idr < input
33rm -f *.ibc