From a1a666496908a39530ead7bd82354770e94124e0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 7 Oct 2004 14:28:46 +0000
Subject: Repaired fix suggested by Jonathan S. Shapiro

---
 isa/isabelle-system.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index acd6d13a..fcb8ac2c 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -89,7 +89,7 @@ with full path."
   "Like shell-command-to-string except the last character is stripped."
   (let ((s (shell-command-to-string command)))
     (if (equal (length s) 0) s
-      (substring s -1))))
+      (substring s 0 -1))))
 
 (defun isa-getenv (envvar &optional default)
   "Extract an environment variable setting using the `isatool' program.
-- 
cgit v1.2.3