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

pvs error



Hi,
	I am using pvs 2 for linux. 
the configuration is 
OS: Linux 2.0.33 #5

when i am proving some proofs, in the middle of the proof, i am getting an
error like 

Error: No methods applicable for generic function
#<STANDARD-GENERIC-FUNCTION FIND-SUPERTYPE> with args (State) of classes
(ACTUAL)
  [condition type: PROGRAM-ERROR]

Restart actions (select using :continue):
 0: Try calling it again
[1c] PVS(52): 


Please help..
Thanks
Magesh

--------------------------------------------------------------------------
Graduate Student in Dept. of Computer Engr., Univ. Cincinnati.
--------------------------------------------------------------------------
Address    : 2930 Scioto Street, #511, Cincinnati, OH 45219. USA
Phone      : Off:  513-556 0904
             Res:  513-556 7447
E-mail     : mnarayan@ececs.uc.edu
URL        : http://www.ececs.uc.edu/~mnarayan
-------------------------------------------------------------------------