Index: generic/xotcl.c
===================================================================
diff -u -r457ad3038f20a9cb9869fbabd3773c00a973d0ee -r2ed7f30b42c12e7ec8ad8ee7b2dd98f5f22d7c3f
--- generic/xotcl.c	(.../xotcl.c)	(revision 457ad3038f20a9cb9869fbabd3773c00a973d0ee)
+++ generic/xotcl.c	(.../xotcl.c)	(revision 2ed7f30b42c12e7ec8ad8ee7b2dd98f5f22d7c3f)
@@ -2459,11 +2459,6 @@
   }
 }
 
-XOTCLINLINE static int
-CallStackIsDestroyed(Tcl_Interp *interp) {
-  return (RUNTIME_STATE(interp)->cs.top->destroyedCmd == NULL) ? 0 : 1;
-}
-
 /*
  * cmd list handling
  */