diff --git a/runtime.h b/runtime.h
index 8f5e827f..69bec9a7 100644
--- a/runtime.h
+++ b/runtime.h
@@ -639,7 +639,6 @@ static object Cyc_write(x) object x;
 {object tmp = nil;
  if (nullp(x)) {printf("()\n"); return x;}
  if (obj_is_char(x)) {printf("#\\%c\n", obj_obj2char(x)); return x;}
- printf("[DEBUG: %p]", x); // DEBUGGING LINE!!
  switch (type_of(x))
    {case string_tag:
       printf("\"%s\"", ((string_type *) x)->str);