From bb07601149c925033e849e5ea83eec27643fd645 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 14 Sep 2005 19:23:18 +0000
Subject: oops -- proper customize-set-variable;

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

(limited to 'isa/interface-setup.el')

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
-- 
cgit v1.2.3