/*****
 NAME
 	ccmdexit.h - header file for CCmdExit class
 VERSION
 	$Id$
 CHANGELOG
 	$Log$
 */

#if !defined(CCMDEXIT_H_INCLUDED)
#define CCMDEXIT_H_INCLUDED

#include <coconut/cnode.h>
#include <coconut/pcommand.h>

@interface CCmdExit : CNode <PCmdExitPart>
{
	id <PExp>	exit_exp ;
}

- initCmdExit: (id <PExp>) exp ;

@end

#endif /* !defined(CCMDEXIT_H_INCLUDED) */

