Variable name change

1 files changed, 3 insertions, 3 deletions

diff --git a/isa/isa.el b/isa/isa.el
index 45e893d0..b2cc64a2 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -131,11 +131,11 @@ and script mode."
    ;; in the temporary ML files generated while reading
    ;; theories, but unfortunately the user sometimes needs to 
    ;; examine them to understand a strange problem...
-   proof-shell-next-error-regexp
+   pg-next-error-regexp
    "\\(error on \\|Error: in '[^']+', \\)line \\([0-9]+\\)\\|The error(s) above occurred"
-   proof-shell-next-error-filename-regexp
+   pg-next-error-filename-regexp
    "\\(Loading theory \"\\|Error: in '\\)\\([^\"']+\\)[\"']"
-   proof-shell-next-error-extract-filename
+   pg-next-error-extract-filename
    "%s.thy"))