From 9d6c3817a9a08d392b26cc828201b5235cb6cdd3 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sun, 18 Sep 2005 17:44:45 +0000
Subject: better terminate ML code;

---
 isa/x-symbol-isa.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/isa/x-symbol-isa.el b/isa/x-symbol-isa.el
index 71dcb41e..f5934f52 100644
--- a/isa/x-symbol-isa.el
+++ b/isa/x-symbol-isa.el
@@ -12,9 +12,9 @@
 
 (setq proof-xsym-extra-modes '(thy-mode)
       proof-xsym-activate-command
-      "change print_mode (insert (op =) \"xsymbols\")"
+      "change print_mode (insert (op =) \"xsymbols\");"
       proof-xsym-deactivate-command
-      "change print_mode (remove (op =) \"xsymbols\")")
+      "change print_mode (remove (op =) \"xsymbols\");")
 
 
 
-- 
cgit v1.2.3