[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.