/*** (C) Copyright 1984, 1985  S.R.I. International ***/
/*
 *
 *	Push command
 *
 */
#include "vax-mm.h"

MM_Push(State)
{
	/*
	 *	Push
	 */
	Update_Header_File(0);	/* Make sure header file is updated */
	CMD_Push(State);
}