/************************************************************************
 *																		*
 *		Concurrent Clean Simulator: cmdline.h	    					*
 *		============================================					*
 *																		*
 *																		*
 *		Author: Eric Nocker												*
 *		At: Department of Computer Science								*
 *			University of Nijmegen										*
 *		Date: Januari 1991												*
 *																		*
 ***********************************************************************/


extern Bool DoMainCommand (void);

extern Bool InCommandInterpreter;

/* END of cmdline.h */