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