[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: a problem, could you please help me!



Dear gihan,

It might be caused by your typo "IMOLIES". I think it should be "IMPLIES".
Hope this would help you.

Jei-Wen Teng

----- Original Message -----
From: "jihan khattab" <j3aziza@yahoo.com>
To: <pvs-help@csl.sri.com>
Sent: Thursday, January 16, 2003 9:25 PM
Subject: a problem, could you please help me!


> Dear Sir,
>
>
>  I'm studying the tutorial of the pvs, while applying
> the program:
>
> propositions: THEORY
>  BEGIN
>  A, B, C: bool
> prop: THEOREM (A IMPLIES (B IMOLIES C)) AND
> (A IMPLIES B) AND A IMPLIES C
> END propositions
>
> i got the error:
>
> Error: excl:: string2 argument should be a string.
>
> i do not know the meaning of that error and i need
> your advice, could you please help me. Thank you in
> advance.
>
> yours,
> gihan
>
> Ph.D. student, computer science department, Manchester University
>
> __________________________________________________
> Do you Yahoo!?
> Yahoo! Mail Plus - Powerful. Affordable. Sign up now.
> http://mailplus.yahoo.com
>