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

#ifndef _Standard_HeaderFile
#include <Standard.hxx>
#endif
#ifndef _Standard_DefineHandle_HeaderFile
#include <Standard_DefineHandle.hxx>
#endif

#ifndef _Handle_TDF_Attribute_HeaderFile
#include <Handle_TDF_Attribute.hxx>
#endif

class Standard_Transient;
class Handle(Standard_Type);
class Handle(TDF_Attribute);
class TDocStd_Modified;

DEFINE_STANDARD_HANDLE(TDocStd_Modified,TDF_Attribute)

#endif