// File:	WOKTools_MsgStreamPtr.hxx
// Created:	Wed Jul  2 12:02:31 1997
// Author:	Jean GAUTIER
//		<jga@hourax.paris1.matra-dtv.fr>


#ifndef WOKTools_MsgStreamPtr_HeaderFile
#define WOKTools_MsgStreamPtr_HeaderFile
#include <Standard_Stream.hxx>

typedef ofstream* WOKTools_MsgStreamPtr;

#endif
