On Sun, Dec 21, 2008 at 1:53 PM, Mark S. Miller <[email protected]> wrote:
> reveal getX() { reveal privX };
> reveal getY() { reveal privY };
>
Oops. Should be
reveal getX() { reveal (privX) };
reveal getY() { reveal (privY) };
--
Cheers,
--MarkM
_______________________________________________ Es-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es-discuss
