[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 

Thanks
Magesh

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