Fix printing "no changes to be saved" with verilog-batch. Reported by Dan Dever.

	* verilog-mode.el (verilog-batch-execute-func): Fix printing "no
	changes to be saved" with verilog-batch. Reported by Dan Dever.