diff options
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))) |