fix for undump-pvs-files void variable overwrite issue

[tarball1024]

The following patch fixes a small issue with undumping PVS files. Tested to work on emacs 29.1 and 30.1.

diff --git a/emacs/pvs-cmds.el b/emacs/pvs-cmds.el
index bf86536f..83d98f9b 100644
--- a/emacs/pvs-cmds.el
+++ b/emacs/pvs-cmds.el
@@ -87,6 +87,7 @@
 (defvar pvs-path)
 (defvar pvs-library-path)
 (defvar pvs-initialized)
+(defvar overwrite)

 (declare-function confirm-not-in-checker "pvs-eval")
 (declare-function current-line-number "pvs-mode")
@@ -1104,7 +1105,7 @@ e.g., C-u or M-0."
   (interactive "fUndump file: \nDInto directory: ")
   (let ((buf (find-file-noselect filename))
        (dname (file-name-as-directory directory))
-       ;; (overwrite nil)
+       (overwrite nil)
        )
     (unless (file-name-absolute-p dname)
       (error "Directory to undump into must be absolute, not relative"))
@@ -1134,6 +1135,7 @@ e.g., C-u or M-0."
       (let ((found-one (re-search-forward "^[$][$][$].*$" nil t)))
        (while found-one
          (forward-line)
+          (defvar filename)
          (let* ((fname (buffer-substring (+ (match-beginning 0) 3)
                                          (match-end 0)))
                 (ndir (pvs-get-dump-directory (or (file-name-directory fname)

[marianomoscato]

Hi. What's the issue this patch is fixing?

[tarball1024]

undump-pvs-files throws an error void variable overwrite with emacs 29.1 and newer (probably 28.1 and newer).
After (correctly) introducing (defvar overwrite) using the help function (C-h) throws the same error but then for filename: void variable filename.

A temp. workaround is to call the function prefixed with C-u (allowing it to overwrite files unconditionally).