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

pvs error

To: pvs-help@csl.sri.com
Subject: pvs error
From: Magesh Narayanan <mnarayan@ececs.uc.edu>
Date: Thu, 25 Jun 1998 10:36:47 -0400 (EDT)
Reply-To: Magesh Narayanan <mnarayan@ececs.uc.edu>

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

Prev by Date: Re: PVS @ Linux other than RedHat
Next by Date: Re: pvs error
Prev by thread: pvs error
Next by thread: Re: pvs error
Index(es):
- Date
- Thread