From ab25d99ada5e00b5a91d1c04c594fe93f7ebc49f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 14 Aug 2009 12:50:05 +0000
Subject: Rename proof-shell-process-output -> proof-shell-classify-output

---
 plastic/plastic.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plastic')

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
-- 
cgit v1.2.3