diff options
| -rw-r--r-- | isa/interface-setup.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/interface-setup.el b/isa/interface-setup.el index e9dddb31..16c167cc 100644 --- a/isa/interface-setup.el +++ b/isa/interface-setup.el @@ -33,7 +33,7 @@ (let ((unicode (getenv "PROOFGENERAL_UNICODE"))) (if (and unicode (not (equal unicode ""))) - (customize-set-variable enable-var (equal unicode "true")))) + (customize-set-variable 'proof-shell-unicode (equal unicode "true")))) ;; ;; Proof General |