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

pvs error

	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.