thy mode binding made to match with script mode

1 files changed, 1 insertions, 1 deletions

diff --git a/isa/isa.el b/isa/isa.el
index d84a42b5..ae80f4c9 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -350,7 +350,7 @@ isa-proofscript-mode."
  ;; Extend theory mode keymap
  '(let ((map thy-mode-map))
 (define-key map "\C-c\C-b" 'isa-process-thy-file)
-(define-key map "\C-c\C-u" 'isa-retract-thy-file)))
+(define-key map "\C-c\C-r" 'isa-retract-thy-file)))
 
 ;; FIXME: could test that the buffer isn't already locked.
 (defun isa-process-thy-file (file)