Re: tla 1.3.3 bugfixes

Hi,

Sergio Gelato <[email protected]> writes:

> So, has rel_record_nil been renamed to rel_record_null? Or is
> rel_record_null of a different type, in which case the problem may not
> have been fixed after all? (Chances are it is indeed fixed, but in order
> to check that one needs to consider the data type of rel_record_null and
> the internals of the function being called. Did your "quick grep"
> include those steps?)

REL_RECORD_NULL is of type `rel_record'.  For instance, if you grep for
calls to `rel_add_records ()', you will see that the last argument is
now always REL_RECORD_NULL (it used to be a NULL pointer).  So I think
it's ok.

Thanks,
Ludovic.