diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-03-10 04:20:04 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-10 04:20:04 +0000 |
commit | 729eea95c95446f6bb5e3cdc4fe1c59549030d74 (patch) | |
tree | 705b8d91e674962e6e4700bb462398900afd25c1 | |
parent | 7411a5e9f672308188919006e72f88dda30ef01f (diff) |
boundp->fboundp. Fix test for proof-shell-process-connection-type.
-rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index b0b35469..0693fdbf 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1413,7 +1413,7 @@ to do syntax highlighting with font-lock." (defcustom proof-shell-process-connection-type ;; Use ptys unless it seems like we're on Solaris. Only have ;; a good chance to guess on XEmacs which provides shell-command-to-string - (if (boundp 'shell-command-to-string) + (if (fboundp 'shell-command-to-string) (not (string-match "[sS]un" (shell-command-to-string "uname"))) t) "The value of process-connection-type for the proof shell. |