From f02d998dbcf95d43209f0e1018693c2848be5831 Mon Sep 17 00:00:00 2001
From: Justin Ethier <justin.ethier@gmail.com>
Date: Tue, 23 Jun 2015 21:25:34 -0400
Subject: [PATCH] Output file pointer when printing port

---
 runtime.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/runtime.c b/runtime.c
index eb3d91cf..b17e3b14 100644
--- a/runtime.c
+++ b/runtime.c
@@ -349,7 +349,7 @@ object Cyc_display(object x, FILE *port)
       fprintf(port, "<EOF>");
       break;
     case port_tag:
-      fprintf(port, "<port>");
+      fprintf(port, "<port %p>", ((port_type *)x)->fp);
       break;
     case primitive_tag:
       fprintf(port, "<primitive %s>", prim_name(x));