diff options
-rw-r--r-- | generic/proof-unicode-tokens.el | 4 |
1 files changed, 2 insertions, 2 deletions
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 () |