diff options
Diffstat (limited to 'plastic')
| -rw-r--r-- | plastic/plastic.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plastic/plastic.el b/plastic/plastic.el index 1ed3333a..e15f708b 100644 --- a/plastic/plastic.el +++ b/plastic/plastic.el @@ -488,7 +488,7 @@ We assume that module identifiers coincide with file names." proof-shell-init-cmd plastic-process-config proof-shell-restart-cmd plastic-process-config pg-subterm-anns-use-stack nil - proof-shell-process-output-system-specific plastic-shell-process-output + proof-shell-classify-output-system-specific plastic-shell-process-output plastic-shell-current-line-width nil proof-shell-process-file |