node_list_display().

[putex/putex.git] / src / texsourc / yandy_inlines.c

diff --git a/src/texsourc/yandy_inlines.c b/src/texsourc/yandy_inlines.c
index 490bfd3..91449dc 100644 (file)
--- a/src/texsourc/yandy_inlines.c
+++ b/src/texsourc/yandy_inlines.c
@@ -163,6 +163,13 @@ inline void succumb (void)
   history = error_stop_mode;
   jump_out();
 }
+/* sec 0180 */
+inline void node_list_display(integer p)
+{
+  append_char('.');
+  show_node_list(p);
+  decr(pool_ptr);
+}
 /* sec 0214 */
 inline void tail_append_ (pointer val)
 {