Output file pointer when printing port

This commit is contained in:
Justin Ethier 2015-06-23 21:25:34 -04:00
parent e4fd8b3387
commit f02d998dbc

View file

@ -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));