author | haftmann |
Fri, 08 Jan 2010 14:34:18 +0100 | |
changeset 34307 | 9074aa7d06e0 |
parent 34306 | e8b8ee60c1e2 |
child 34308 | 394fc3cce915 |
src/Pure/name.ML | file | annotate | diff | comparison | revisions |
--- a/src/Pure/name.ML Fri Jan 08 14:34:18 2010 +0100 +++ b/src/Pure/name.ML Fri Jan 08 14:34:18 2010 +0100 @@ -156,7 +156,7 @@ if Symbol.is_ascii_letter x orelse Symbol.is_symbolic x then xs else "x" :: xs; fun is_valid x = - Symbol.is_ascii_letter x orelse Symbol.is_ascii_digit x orelse x = "'"; + Symbol.is_ascii_letter x orelse Symbol.is_ascii_digit x; fun sep [] = [] | sep (xs as "_" :: _) = xs | sep xs = "_" :: xs;