From 432802b44d2bc21b633c0bd3261459b66eb8af38 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 31 May 2000 14:15:47 +0000
Subject: Compatibility with completion package.

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

(limited to 'generic')

diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el
index 52a9d6e8..9e38cec4 100644
--- a/generic/proof-x-symbol.el
+++ b/generic/proof-x-symbol.el
@@ -294,6 +294,10 @@ 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)
 
 
 ;;
-- 
cgit v1.2.3