From 8c02441c81dccc3ec76594e3a0c4a3d0bf240ca6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 23 Nov 1999 14:30:51 +0000
Subject: Make sure 8bits and coding are unset in
 proof-x-symbol-encode-shell-input.

---
 generic/proof-x-symbol.el | 2 ++
 1 file changed, 2 insertions(+)

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