From b6de4f4d0a3be8158a89f92d5209cc56f07dd26b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 29 Dec 2002 16:19:41 +0000
Subject: Fix use of replace-regexp-in-string

---
 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 fe8e19ff..5068877c 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -486,7 +486,7 @@ the function `pg-remove-specials' can be used instead)."
 ;;
 
 (defun isabelle-xml-sml-escapes (xmlstring)
-  (replace-regexp-in-string "\"" "\\\"" xmlstring))
+  (replace-regexp-in-string "\"" "\\\"" xmlstring t t))
 
 (defun isabelle-process-pgip (xmlstring)
   "Return an Isabelle or Isabelle/Isar command to process PGIP in XMLSTRING."
-- 
cgit v1.2.3