diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 08:35:33 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 08:35:33 +0000 |
| commit | 2caea10ae59fa63882ed60cb92a6d4250832e0ba (patch) | |
| tree | 93916e16d52036db09be357121b293b16c253bf1 /generic/proof-syntax.el | |
| parent | 0992b79a11d73ca018257db025f34407887769d9 (diff) | |
comment
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) |