diff options
Diffstat (limited to 'contrib/cvc-mode.el')
| -rw-r--r-- | contrib/cvc-mode.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/cvc-mode.el b/contrib/cvc-mode.el index f159944dd..e32c0c439 100644 --- a/contrib/cvc-mode.el +++ b/contrib/cvc-mode.el @@ -644,7 +644,7 @@ process will leave its output. Currently, each run of CVC clears the compilation buffer. If you need to save multiple runs, save them one at a time. -Please report bugs to barrett@cs.nyu.edu." +Please report bugs to barrett@cs.stanford.edu." (interactive) (use-local-map cvc-mode-map) ;;; Disable asking for the compile command |