Index: generic/xotclInt.h
===================================================================
diff -u -r29267f0c9db8387f58b03ffc124fc138ad88e463 -r2880a345930ceabfec83d491f26b8254099c8991
--- generic/xotclInt.h	(.../xotclInt.h)	(revision 29267f0c9db8387f58b03ffc124fc138ad88e463)
+++ generic/xotclInt.h	(.../xotclInt.h)	(revision 2880a345930ceabfec83d491f26b8254099c8991)
@@ -637,8 +637,7 @@
   XotclStubs *xotclStubs;
   Tcl_CallFrame *varFramePtr;
   Tcl_Command cmdPtr; /* used for ACTIVE_MIXIN */
-  Tcl_Command dotCmd;
-  Tcl_Command dotDotCmd;
+  Tcl_Command colonCmd;
 #if defined(PROFILE)
   XOTclProfile profile;
 #endif