From 1ab67cf437704f51f514e2ab7856e3c87f3c88b1 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Wed, 2 Jun 2010 09:43:04 +0000
Subject: [PATCH]

---
 src/libexpr/eval.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/libexpr/eval.cc b/src/libexpr/eval.cc
index 1ee6c5a7f6..f95df5e4d6 100644
--- a/src/libexpr/eval.cc
+++ b/src/libexpr/eval.cc
@@ -59,6 +59,7 @@ std::ostream & operator << (std::ostream & str, const Value & v)
         str << "]";
         break;
     case tThunk:
+    case tApp:
     case tCopy:
         str << "<CODE>";
         break;