Remove completion table adjustment fixed in X-Symol since Jun 01.

1 files changed, 1 insertions, 7 deletions

diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el
index ddc72524..b9fc3aee 100644
--- a/generic/proof-x-symbol.el
+++ b/generic/proof-x-symbol.el
@@ -14,7 +14,7 @@
 ;; for particular proof assistants may be used elsewhere (e.g. in
 ;; document modes), without loading all of Proof General.
 ;;
-;; proof-x-symbol.el,v 2.4 1999/08/23 18:38:40 da Exp
+;; $Id$
 ;;
 
 (defvar proof-x-symbol-initialized nil
@@ -336,12 +336,6 @@ Assumes that the current buffer is the proof shell buffer."
   ;     (x-symbol-encode))))
 
 
-;; Compatibility with completion package
-
-(put 'completion-separator-self-insert-command 'x-symbol-input t)
-(put 'completion-separator-self-insert-autofilling 'x-symbol-input t)
-
-
 ;;
 ;; Try to initialize x-symbol-support on load-up if user has asked for it
 ;;