diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-29 00:04:22 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-29 00:04:22 +0000 |
commit | 2e9a4fef49a501eb5b790b0a8d16bd8c19bdf73f (patch) | |
tree | af5a0f99b67b1c069b69d624d2c0153e7fd8af72 /generic/proof-unicode-tokens.el | |
parent | 93f8a709fda66855257da80e2cdba4f854c93a81 (diff) |
Use correct shell encoding function!
Diffstat (limited to 'generic/proof-unicode-tokens.el')
-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 () |