Removed references of proof-shell-noise-regexp

1 files changed, 0 insertions, 3 deletions

diff --git a/isa/isa.el b/isa/isa.el
index 56f82a68..292f6095 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -157,9 +157,6 @@ no regular or easily discernable structure."
    
    ;; nothing appropriate for: proof-shell-abort-goal-regexp
 
-   ;; proof-shell-noise-regexp isn't used anywhere at the moment.
-   proof-shell-noise-regexp	        "val it = () : unit\n"
-
    ;; matches names of assumptions
    proof-shell-assumption-regexp	isa-id
    ;; matches subgoal name