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

Re: pvs error

Sorry folks. 
forgot to give the version and OS..
PVS Version 2.2 (patch level 3.417)
Red Hat Linux 2.0.33 


On Thu, 25 Jun 1998, Magesh Narayanan wrote:

> Hello,
> 	Whenever I have an error (type check or parse error caused by
> typos), and when i type check in pvs, i get an error saying that something
> is missing etc.. 
> But the cursor doesnt go to the place where the error occurs. Instead it
> opens a new file (of the same name as the pvs file typechecked) , say
> <filename <2>>. and the error message at the bottom of the buffer says 
> (Fundamental C-z 1 bury, C-z v scroll).
> I dont know why this happens.. 
> Everytime i typecheck and if i have an error, this occurs. 
> I would appreciate any help.
> Thanks
> Magesh