[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: pvs error
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:
> 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.