#ifndef	destroy_database_HEADER
#define	destroy_database_HEADER

/*
 * destroy_database_ui.h - User interface object and function declarations.
 * This file was generated by `gxv' from `destroy_database.G'.
 * DO NOT EDIT BY HAND.
 */

extern Attr_attribute	INSTANCE;


typedef struct {
	Xv_opaque	pop;
	Xv_opaque	controls1;
	Xv_opaque	message1;
	Xv_opaque	textfield1;
} destroy_database_pop_objects;

extern destroy_database_pop_objects	*destroy_database_pop_objects_initialize();

extern Xv_opaque	destroy_database_pop_pop_create();
extern Xv_opaque	destroy_database_pop_controls1_create();
extern Xv_opaque	destroy_database_pop_message1_create();
extern Xv_opaque	destroy_database_pop_textfield1_create();
#endif