// This file is generated by WOK (CPPExt).
// Please do not edit this file; modify original file instead.
// The copyright and license terms as defined for the original file apply to 
// this header file considered to be the "object code" form of the original source.

#ifndef _TCollection_AVLBaseNodePtr_HeaderFile
#define _TCollection_AVLBaseNodePtr_HeaderFile

class TCollection_AVLBaseNode;

typedef TCollection_AVLBaseNode* TCollection_AVLBaseNodePtr;

#endif