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

[Brian Sutherland]

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.

-- 
Brian Sutherland

Metropolis - "it's the first movie with a robot. And she's a woman.
              And she's EVIL!!"