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

Re: [PVS-Help] PVS batch mode



Hi Sara,

I see the problem - the

(pvs-message "Completed)

is missing the closing string quote - it should be:

(pvs-message "Completed")

Sam