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

[PVS-Help] PVS 3.2 typecheck error



Hi--

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?

Thanks
-Nikhil

---
http://engr.smu.edu/~nikhil

_________________________________________________________________
Send money to India 
http://ads.mediaturf.net/event.ng/Type=click&FlightID=17307&AdID=44925&TargetID=9763&Targets=9763&Values=414,868,1093,2385&Redirect=http:%2F%2Fwww.icicibanknripromotions.com%2Fm2i_feb%2Fnri_M2I_feb.jsp%3Fadid%3D44925%26siteid%3D1093%26flightid%3D17307 
Get a FREE 30 minute India Calling Card.