diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-12-01 10:15:43 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-12-01 10:15:43 +0000 |
| commit | 52f2397b91d0e6f6b89e68c56cf405d7a5c7573a (patch) | |
| tree | b66ce3f3d31713e72a76173e0563aa9f84a2d75f | |
| parent | db4f7b2d60c42a432b8a0a97f796ab48460b4fb0 (diff) | |
isabelle-set-prog-name: avoid calling split-string with nil arg.
| -rw-r--r-- | isar/isabelle-system.el | 2 |
1 files changed, 1 insertions, 1 deletions
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)) |