Re: [Gnu-arch-users] tla 1.3.3 bugfixes

[Andy Tai]

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 <address@hidden> 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".
...