//
// THIS FILE IS AUTOMATICALLY GENERATED!!
//
// Generated at Sun 20-Jul-2003 by the VDM-SL to C++ Code Generator
// (v3.7.7 - Thu 02-Jan-2003)
//
// Supported compilers:
// 	gcc version 2.95.2 on Sun Solaris 2.6, Linux, HP-UX10
// 	VC++ version 6.0 on Windows98, Windows NT
//

#ifndef _mixed_ustack_anonym_h
#define _mixed_ustack_anonym_h



#include "mixed_ustack_userdef.h"

#include "metaiv.h"

class TYPE_mixed_ustack_IntStackNode;
#define TYPE_mixed_ustack_IntStack Generic

#ifndef TAG_TYPE_mixed_ustack_IntStackNode
#define TAG_TYPE_mixed_ustack_IntStackNode (TAG_mixed_ustack + 1)

#endif


#endif