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

class AIS_InteractiveContext;
typedef AIS_InteractiveContext* AIS_PToContext;

#endif // _AIS_PToContext_HeaderFile
