From 52f2397b91d0e6f6b89e68c56cf405d7a5c7573a Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 1 Dec 2009 10:15:43 +0000 Subject: isabelle-set-prog-name: avoid calling split-string with nil arg. --- isar/isabelle-system.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index 1ccb18a8..1cadc1a2 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -177,7 +177,7 @@ This function sets `proof-prog-name' and `isar-prog-args'." (getenv "ISABELLE_PROCESS") ; command line override (isa-getenv "ISABELLE_PROCESS") ; choose to match isabelle "isabelle-process")) ; to - (isabelle-opts (split-string (getenv "ISABELLE_OPTIONS"))) + (isabelle-opts (split-string (or (getenv "ISABELLE_OPTIONS") ""))) (opts (append (list "-PI") ;; Proof General + Isar (if proof-shell-unicode (list "-m" "PGASCII") nil) isabelle-opts)) -- cgit v1.2.3