From 7ffb938dd2675b95505c410df3b153b82ca7aea1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 19 Feb 2003 14:17:31 +0000
Subject: Cleanups/renaming: remove some dead code, also, hide results of X-Sym
 enabling.

---
 generic/proof-shell.el | 8 ++++++++
 1 file changed, 8 insertions(+)

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index e7766134..90089ebd 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1743,6 +1743,14 @@ usual, unless NOERROR is non-nil."
     (setq proof-shell-ignore-errors nil))
   proof-shell-last-output)
 
+(defun proof-shell-invisible-command-invisible-result (cmd &optional noerror)
+  "Execute CMD, wait for but do not display result."
+  ;; Just same as previous function, except we discard result
+  (proof-shell-invisible-cmd-get-result cmd noerror)
+  nil)
+  
+  
+
 
 
 
-- 
cgit v1.2.3