Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/General/symbol_pos.ML
changeset 55709 4e5a83a46ded
parent 55107 1a29ea173bf9
child 55828 42ac3cfb89f6 
--- a/src/Pure/General/symbol_pos.ML	Mon Feb 24 10:17:29 2014 +0100
+++ b/src/Pure/General/symbol_pos.ML	Mon Feb 24 10:48:34 2014 +0100
@@ -178,8 +178,8 @@
 fun cartouche_content syms =
   let
     fun err () =
-      error ("Malformed text cartouche: " ^ quote (content syms) ^
-        Position.here (Position.set_range (range syms)));
+      error ("Malformed text cartouche: "
+        ^ quote (content syms) ^ Position.here (#1 (range syms)));
   in
     (case syms of
       ("\\<open>", _) :: rest =>
isabelle