From 87df137a5cf08c21919ec9a254e30bbc60987bb1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 16 May 2000 08:56:29 +0000
Subject: Missing quote

---
 isa/isabelle-system.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3