diff options
| author | David Aspinall | 2000-05-16 08:56:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-16 08:56:29 +0000 |
| commit | 87df137a5cf08c21919ec9a254e30bbc60987bb1 (patch) | |
| tree | abb008351058ae705efe1f0f66b1782ada62cbe3 | |
| parent | 6e098f30b99de5e559ae1a38a80863357d154e52 (diff) | |
Missing quote
| -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 |