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