Fix to remove mention of coding-system-for-write, coding-system-for-read not available on non-Mule compiles

1 files changed, 2 insertions, 2 deletions

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 9db2a3b3..d0ecc038 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -332,11 +332,11 @@ Does nothing if proof assistant is already running."
 	       ;; da: Unfortunately 'raw-text causes hangs with some Emacs,
 	       ;; since we get something not as raw as it was otherwise;
 	       ;; so leave it as it is, please
-	       coding-system-for-read))
+	       (if (boundp 'coding-system-for-read) coding-system-for-read)))
 	    (coding-system-for-write 
 	     (if proof-shell-unicode 'utf-8 
 	       ;; was: 'raw-text
-	       coding-system-for-write)))
+	       (if (boundp 'coding-system-for-write) coding-system-for-write))))
 
 	;; An improvement here might be to catch failure of
 	;; make-comint and then kill off the buffer.  Then we