diff -r 45fe0af4340b -r 9844ac126275 master/domain.c
--- a/master/domain.c	Thu Oct 09 14:35:08 2008 +0000
+++ b/master/domain.c	Fri Oct 10 07:58:48 2008 +0000
@@ -344,7 +344,7 @@
 
 /*****************************************************************************/
 
-size_t ecrt_domain_size(ec_domain_t *domain)
+size_t ecrt_domain_size(const ec_domain_t *domain)
 {
     return domain->data_size;
 }