changeset 42494 | eef1a23c9077 |
parent 42402 | c7139609b67d |
child 45421 | 2bef6da4a6a6 |
--- a/src/Pure/Isar/class_declaration.ML Wed Apr 27 20:37:56 2011 +0200 +++ b/src/Pure/Isar/class_declaration.ML Wed Apr 27 20:58:40 2011 +0200 @@ -254,7 +254,7 @@ thy |> Sign.declare_const_global ((b, ty0), syn) |> snd - |> pair ((Variable.name b, ty), (c, ty')) + |> pair ((Variable.check_name b, ty), (c, ty')) end; in thy