diff options
Diffstat (limited to 'generic/proof-syntax.el')
| -rw-r--r-- | generic/proof-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
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) |