diff options
Diffstat (limited to 'isar/isabelle-system.el')
-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)) |