1 files changed, 4 insertions, 0 deletions
diff --git a/src/value.cc b/src/value.cc
index 9a7647e1..03984fd8 100644
--- a/src/value.cc
+++ b/src/value.cc
@@ -1314,6 +1314,10 @@ void value_t::print(std::ostream&           out,
     as_balance().print(out, first_width, latter_width);
     break;
 
+  case POINTER:
+    out << "<POINTER>";
+    break;
+
   default:
     throw_(value_error, "Cannot print " << label());
   }