From 082fa78342c644e5caa0987312b4b23377ab0fcd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Sep 2009 08:10:17 +0000
Subject: Fix compile warning

---
 generic/proof-utils.el | 12 ------------
 1 file changed, 12 deletions(-)

(limited to 'generic/proof-utils.el')

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 4eabdb64..d937ce2b 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -674,18 +674,6 @@ or if the window is the only window of its frame."
 	      ))))))
 
 
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;
-;; Function for manipulating output
-;;
-
-(defsubst proof-shell-strip-output-markup (string &optional push)
-  "Strip output markup from STRING.
-Convenience function to call function `proof-shell-strip-output-markup'.
-Optional argument PUSH is ignored."
-  (funcall proof-shell-strip-output-markup string))
-
-
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
-- 
cgit v1.2.3