diff options
| -rw-r--r-- | isa/isabelle-system.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index 01d98767..d0b2e581 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -74,7 +74,7 @@ with full path." nil nil t))) (if (and proof-running-on-win32 (not (file-executable-p isa-isatool-command))) - (warning "Proof General: isatool command not found; ignored because Win32 system detected.")) + (warn "Proof General: isatool command not found; ignored because Win32 system detected.")) (file-executable-p isa-isatool-command)) (defun isa-shell-command-to-string (command) |