diff options
| author | David Aspinall | 2003-02-24 10:38:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-24 10:38:01 +0000 |
| commit | 3563de3849c59f7b97fc9406960629a7258c8a84 (patch) | |
| tree | 70beb3cbb61c80e9e24365cf9448d30fc3d3fa53 /generic/proof-utils.el | |
| parent | 031876435b4b287f17ff74dbbc4999c80b91161b (diff) | |
Fix some compile errors
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index da796e2c..639f206d 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -782,7 +782,7 @@ EXTRAPATH is a list of extra path components" (executable-find progname))) ;; PG 3.4: try a new Emacs function. ((fboundp 'locate-file) (locate-file progname - (append (split-path (getenv "PATH") extrapth)) + (append (split-path (getenv "PATH") extrapath)) (if proof-running-on-win32 '(".exe")) 1))) (if returnnopath progname))) |