Index: /trunk/ccl/lisp-kernel/x86-exceptions.c
===================================================================
--- /trunk/ccl/lisp-kernel/x86-exceptions.c	(revision 6038)
+++ /trunk/ccl/lisp-kernel/x86-exceptions.c	(revision 6039)
@@ -1110,5 +1110,4 @@
         handle_exception(signum, info, context, tcr);
         if (alloc_displacement) {
-          fprintf(stderr, "tcr = 0x%x, allocptr = 0x%lx, disp = %d\n",tcr,tcr->save_allocptr,alloc_displacement);
           tcr->save_allocptr -= alloc_displacement;
         }