diff options
| author | David Aspinall | 2002-12-29 16:19:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-12-29 16:19:41 +0000 |
| commit | b6de4f4d0a3be8158a89f92d5209cc56f07dd26b (patch) | |
| tree | 6550f2016e4f82207da23388efbc999b40ad6d84 | |
| parent | 274c2cdfd58440d163a6da10858db319e773f4a7 (diff) | |
Fix use of replace-regexp-in-string
| -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 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." |