diff options
| -rw-r--r-- | isa/isabelle-system.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index 6104dded..bc2209ad 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -251,7 +251,7 @@ until Proof General is restarted." (proof-defassfun trace-simplifier () (isa-proof-invisible-command-ifposs - (isabelle-set-default-cmd trace-simplifier))) + (isabelle-set-default-cmd 'trace-simplifier))) (defun isa-proof-invisible-command-ifposs (cmd) ;; Better would be to queue the command, or even interrupt a queue |