// 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 _BRepTopAdaptor_SeqOfPtr_HeaderFile
#define _BRepTopAdaptor_SeqOfPtr_HeaderFile

#ifndef _TColStd_SequenceOfAddress_HeaderFile
#include <TColStd_SequenceOfAddress.hxx>
#endif

typedef TColStd_SequenceOfAddress BRepTopAdaptor_SeqOfPtr;


#define BRepTopAdaptor_SeqOfPtr_Type_() TColStd_SequenceOfAddress_Type_()

#endif