1 files changed, 1 insertions, 0 deletions
diff --git a/test.sh b/test.sh
index 9fd86f8..13d2b00 100755
--- a/test.sh
+++ b/test.sh
@@ -18,3 +18,4 @@ run './test/def.tpr'  '3 : Int'
 run './test/fac.tpr'  '720 : Int'
 run './test/poly.tpr'  '#t : Bool'
 run './test/nest.tpr' '6 : Int'
+run './test/tup.tpr' '3 : Int'