From cda969187a4b34a139bec79c2e75b25041794d34 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Fri, 2 Aug 2013 10:34:18 -0700
Subject: [PATCH] Add one small test to expr

---
 src/tests/kernel/expr.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tests/kernel/expr.cpp b/src/tests/kernel/expr.cpp
index af0eaedda..1267e1354 100644
--- a/src/tests/kernel/expr.cpp
+++ b/src/tests/kernel/expr.cpp
@@ -49,6 +49,7 @@ void tst1_pp() {
     pp(fa(fa, fa)); std::cout << "\n";
     pp(lambda("x", ty, var(0))); std::cout << "\n";
     pp(pi("x", ty, var(0))); std::cout << "\n";
+    pp(pi("x", ty, lambda("y", ty, var(0)))); std::cout << "\n";
     std::cerr << "=============== PP =====================\n";
 }