Re: [sv-ac] face-to-face meeting notes

Hi Shalom:

This is really a question about how to refer to an assertion
that is written in a function.  The same question will come
up for assertions written in other places, such as tasks.

If you want to use $assertoff, e.g., to control that assertion,
then you need to know the rule for referring to it.

I think that the issue has to do with whether or not the current
rules of hierarchical reference give a way to refer to such an 
assertion.

J.H.


> ------_=_NextPart_001_01C80A5A.5DF07E88
> Content-Type: text/plain; charset="us-ascii"
> Content-Transfer-Encoding: quoted-printable
> 
> Hi,
> =20
> What is the assertion naming issue?=20
> =20
> Thanks,
> Shalom
> 
> 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.