#ifndef _GTK_DIVERGENCE_H
#define _GTK_DIVERGENCE_H

GtkWidget *create_divergence_page(void);

#endif