diff --git a/C/iopreds.c b/C/iopreds.c
index 938cd348f..4beab5e3b 100644
--- a/C/iopreds.c
+++ b/C/iopreds.c
@@ -691,6 +691,12 @@ Yap_DebugPutc(int sno, wchar_t ch)
   return (putc(ch, Yap_stderr));
 }
 
+void
+Yap_DebugPlWrite(Term t)
+{
+  Yap_plwrite(t, Yap_DebugPutc, 0);
+}
+
 void 
 Yap_DebugErrorPutc(int c)
 {