master/domain.c
changeset 1257 9844ac126275
parent 1225 4d5b739edcb5
child 1304 853c83c72f44
--- 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;
 }