Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
typo
authorhaftmann
Sun, 06 May 2018 18:20:25 +0000
changeset 68099 305f9f3edf05
parent 68098 e2bb1d95cbd0
child 68100 b2d84b1114fa
typo
src/HOL/Tools/string_syntax.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/string_syntax.ML	Sun May 06 18:20:25 2018 +0000
+++ b/src/HOL/Tools/string_syntax.ML	Sun May 06 18:20:25 2018 +0000
@@ -117,7 +117,7 @@
       c $ string_tr [t] $ u
   | string_tr [Free (str, _)] =
       mk_string_syntax (plain_strings_of str)
-  | string_tr ts = raise TERM ("char_tr", ts);
+  | string_tr ts = raise TERM ("string_tr", ts);
 
 fun list_ast_tr' [args] =
       Ast.Appl [Ast.Constant @{syntax_const "_String"},
isabelle