diff options
| -rw-r--r-- | isar/isar.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index 5bbb6a6d..57bfc342 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -381,7 +381,7 @@ proof-shell-retract-files-regexp." (proof-definvisible isar-print-draft '(if (y-or-n-p (format "Print draft of file %s ?" buffer-file-name)) - (format "display_drafts \"%s\"" buffer-file-name) + (format "print_drafts \"%s\"" buffer-file-name) (error "Aborted.")) [(control p)]) |