/** GENERATED MELT TIMESTAMP FILE meltbuild-sources/warmelt-base+melttime.h 
** NEVER EDIT OR MOVE THIS, IT IS GENERATED & PARSED! **/
/* These identifiers are generated in warmelt-outobj.melt 
 & handled in melt-runtime.c carefully. */


/* This warmelt-base+melttime.h is included from warmelt-base+meltdesc.c only. */
#if meltmod_WARMELTmiBASE_mds__3A779D6B3DD6D6485DEA0F6AE53D5B1A
/* MELT generation timestamp for meltbuild-sources/warmelt-base */

#ifdef __cplusplus
/* these symbols are extern "C" since dlsym-ed */
extern "C" const char melt_gen_timestamp[] ;
extern "C" const long long melt_gen_timenum ;
extern "C" const char melt_build_timestamp[] ;
extern "C" {
#endif /*__cplusplus */

		 
/*MELT BOOTSTRAP*/
const char melt_gen_timestamp[]="Thu May 12 06:44:26 2016 CEST";
const long long melt_gen_timenum=1463028266;

		 const char melt_build_timestamp[]= __DATE__ "@" __TIME__
		 #ifdef __cplusplus
		 " (in C++)"
		 #else
		 " (in C)"
		 #endif /*__cplusplus*/
					;
		 

		 #ifdef __cplusplus
		 }  /* end extern C timestamp */
		 #endif /*__cplusplus */

		 #else /* ! meltmod_WARMELTmiBASE_mds__3A779D6B3DD6D6485DEA0F6AE53D5B1A */
		 #error invalid timestamp file for meltbuild-sources/warmelt-base 
		 #endif /* meltmod_WARMELTmiBASE_mds__3A779D6B3DD6D6485DEA0F6AE53D5B1A */