diff options
| -rw-r--r-- | generic/proof-x-symbol.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index b084425c..a0be2a24 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -169,6 +169,8 @@ A value for proof-shell-insert-hook." (erase-buffer) (insert string) (setq x-symbol-language language) + (setq x-symbol-8bits nil) + (setq x-symbol-coding nil) (x-symbol-encode-all nil coding)) (prog1 (buffer-substring) ;; FIXME da: maybe more efficient just to delete |