From e33ae5545267ab78c4d217b7ffdfb742d29c1811 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 Aug 2002 21:07:35 +0000
Subject: Add missing semicolon.

---
 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 7e2f3c68..62d7e051 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -358,7 +358,7 @@ until Proof General is restarted."
   "Whether to track theorem dependencies within Proof General."
   :type 'boolean
   :setting ("print_mode := ([\"thm_deps\"] @ ! print_mode);" .
-	    "print_mode := (Library.gen_rems (op =) (! print_mode, [\"thm_deps\"]))"))
+	    "print_mode := (Library.gen_rems (op =) (! print_mode, [\"thm_deps\"]));"))
 
 (defpacustom goals-limit  10
   "Setting for maximum number of goals printed in Isabelle."
-- 
cgit v1.2.3