/* RosemaryUser.h */
	
# ifndef RosemaryUser
# define RosemaryUser

#include "Rosemary.h"

extern void RoseExploreDesign();
	/* RoseSimulation simulation */
	
# endif