1 files changed, 2 insertions, 2 deletions
diff --git a/test.sh b/test.sh
index 13d2b00..d7e4043 100755
--- a/test.sh
+++ b/test.sh
@@ -16,6 +16,6 @@ run() {
 run './test/ack.tpr'  '8189 : Int'
 run './test/def.tpr'  '3 : Int'
 run './test/fac.tpr'  '720 : Int'
-run './test/poly.tpr'  '#t : Bool'
+run './test/poly.tpr' '#t : Bool'
 run './test/nest.tpr' '6 : Int'
-run './test/tup.tpr' '3 : Int'
+run './test/tup.tpr'  '5 : Int'