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; }