Re: tla 1.3.3 bugfixes

Hi, these patches (excluding the one for rel_record_nil, which is already
applied in the form of rel_record_null) from August 2005 are now applied.
Thanks!  And sorry for the long interval before incorporation.   This now
should not occur again.

Andy

On 8/23/05, Sergio Gelato <[email protected]> wrote:
>
>         This may be anticlimactic in the current context, but here are
> the patches I've needed to apply to tla 1.3.3 in order to make it work
> on Solaris with the Sun Studio 9 compiler. Maybe they'll save someone
> else some work.
>
> Patch 1: [hackerlab] add a _dummy member to struct obtable_elt, since
> zero-sized structs are not allowed in C99. See the final committee draft's
> paragraph 6.2.5[#19]: "A structure type describes a sequentially allocated
> *nonempty* set of member objects".
> ...
>