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

[PVS-Help] PVS 3.2 typecheck error


i have a few theories that were written in PVS 2.3. I recently typechecked a 
few of them in PVS 3.2 and the typechecking was successful.I later imported 
these theories in yet another theory and tried to typecheck this in PVS 3.2 
However I get the following error.

"excl::string1 argument should be a string". Any idea as to what this means?



Send money to India 
Get a FREE 30 minute India Calling Card.