Index: generic/xotclInt.h
===================================================================
diff -u -rf3cbadd6d76459cc00032877fa905bb618e9f780 -r5b0ee985a6ff266c1246c8ade3e86c33956ac772
--- generic/xotclInt.h	(.../xotclInt.h)	(revision f3cbadd6d76459cc00032877fa905bb618e9f780)
+++ generic/xotclInt.h	(.../xotclInt.h)	(revision 5b0ee985a6ff266c1246c8ade3e86c33956ac772)
@@ -665,7 +665,6 @@
   int cacheInterface;
   int exitHandlerDestroyRound;
   int returnCode;
-  int deallocCalled;
   long newCounter;
   XOTclStringIncrStruct iss;
   Proc fakeProc;