changeset 62529 | 8b7bdfc09f3b |
parent 61655 | f217bbe4e93e |
child 63611 | fb63942e470e |
--- a/src/Pure/term.ML Sun Mar 06 13:19:19 2016 +0100 +++ b/src/Pure/term.ML Sun Mar 06 16:19:02 2016 +0100 @@ -986,7 +986,7 @@ val idx = string_of_int i; val dot = (case rev (Symbol.explode x) of - _ :: "\\<^sub>" :: _ => false + _ :: "\<^sub>" :: _ => false | c :: _ => Symbol.is_digit c | _ => true); in