Index: generic/xotclTrace.c
===================================================================
diff -u -r6ad5c75139b83b9bf0c180d2b2ceceafa8bf69f4 -r7cb7c751d63fe0eece5756910e3f0b18e61a4d16
--- generic/xotclTrace.c	(.../xotclTrace.c)	(revision 6ad5c75139b83b9bf0c180d2b2ceceafa8bf69f4)
+++ generic/xotclTrace.c	(.../xotclTrace.c)	(revision 7cb7c751d63fe0eece5756910e3f0b18e61a4d16)
@@ -80,7 +80,7 @@
     fprintf(stderr, " cmd %p, obj %p, epoch %d, ",
 	    csc->cmdPtr, csc->self, csc->cmdPtr ? Tcl_Command_cmdEpoch(csc->cmdPtr) : -1);
     */
-    if (csc->cmdPtr && !csc->destroyedCmd && !Tcl_Command_cmdEpoch(csc->cmdPtr))
+    if (csc->cmdPtr && !Tcl_Command_cmdEpoch(csc->cmdPtr))
       fprintf(stderr, "%s (%p), ", Tcl_GetCommandName(interp, (Tcl_Command)csc->cmdPtr),
 	      csc->cmdPtr);
     else 
@@ -94,8 +94,6 @@
     if (csc->currentFramePtr) 
       fprintf(stderr,"l=%d ",Tcl_CallFrame_level(csc->currentFramePtr));
 #endif
-    if (csc->destroyedCmd)
-      fprintf(stderr, "--destroyed cmd set (%p) ", csc->destroyedCmd);
 
     fprintf(stderr, "\n");
   }