From 2caea10ae59fa63882ed60cb92a6d4250832e0ba Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 4 Sep 2009 08:35:33 +0000 Subject: comment --- generic/proof-syntax.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generic/proof-syntax.el') diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index 292d49af..0103c46b 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -273,7 +273,7 @@ Any other %-prefixed character inserts itself." ;((eq ch ?n) ; (if acc (insert acc)) ; (setq acc nil) - ; (comint-send-input)) + ; (scomint-send-input)) ((eq ch ?p) (if acc (insert acc)) (setq acc nil) -- cgit v1.2.3