From 2e9a4fef49a501eb5b790b0a8d16bd8c19bdf73f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 29 Jan 2008 00:04:22 +0000 Subject: Use correct shell encoding function! --- generic/proof-unicode-tokens.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'generic/proof-unicode-tokens.el') diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el index 70c6ea51..34bc9311 100644 --- a/generic/proof-unicode-tokens.el +++ b/generic/proof-unicode-tokens.el @@ -97,11 +97,11 @@ in future if we have just activated it for this buffer." (defun proof-unicode-tokens-shell-config () (when (proof-ass unicode-tokens-enable) (add-hook 'proof-shell-insert-hook - 'proof-x-symbol-encode-shell-input) + 'proof-unicode-tokens-encode-shell-input) (proof-unicode-tokens-activate-prover)) (unless (proof-ass unicode-tokens-enable) (remove-hook 'proof-shell-insert-hook - 'proof-x-symbol-encode-shell-input) + 'proof-unicode-tokens-encode-shell-input) (proof-unicode-tokens-deactivate-prover))) (defun proof-unicode-tokens-encode-shell-input () -- cgit v1.2.3