diff options
-rw-r--r-- | phox/phox.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/phox/phox.el b/phox/phox.el index e188ef2d..0341b664 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -150,7 +150,7 @@ proof-shell-interrupt-regexp "Interrupt" proof-shell-start-goals-regexp "^Goals left to prove:" proof-shell-quit-cmd "quit." - proof-shell-restart-cmd "quit." + proof-shell-restart-cmd "restart." proof-shell-proof-completed-regexp "^.*^proved" )) |