[Z3-sqlos] Re: [z3] sqlos: add view for SQLOS objects

[Christian Lück]

Brian Sutherland wrote:
> On Sat, Jan 21, 2006 at 08:12:07PM +0000, Christian Lück wrote:
>> Brian Sutherland wrote:
>> > On Sat, Jan 21, 2006 at 12:44:55AM +0000, Christian Lück wrote:
>> > Patches/testcases welcome!
>> > 
>> 
>> No, I am *not* trying to add sqlos objects to normal z3 folders. It's a
>> sqlos container and it's the simple Person example from the README.
>> If you want to reproduce the error, have a look at my attachement.
> 
> Thanks, that made it crystal clear. Look for a fix in the trunk r22484.
> 

Great!