diff -r ee53be7e18ee -r e4b76dc7910c master/domain.h
--- a/master/domain.h	Thu Oct 26 16:45:33 2006 +0000
+++ b/master/domain.h	Fri Oct 27 09:19:58 2006 +0000
@@ -76,11 +76,10 @@
 /*****************************************************************************/
 
 int ec_domain_init(ec_domain_t *, ec_master_t *, unsigned int);
+void ec_domain_destroy(ec_domain_t *);
 
 int ec_domain_alloc(ec_domain_t *, uint32_t);
-
 void ec_domain_queue_datagrams(ec_domain_t *);
-void ec_domain_dequeue_datagrams(ec_domain_t *);
 
 /*****************************************************************************/