changeset 71601 | 97ccf48c2f0c |
parent 70123 | b256f67e9d27 |
child 72669 | 5e7916535860 |
--- a/src/Pure/Isar/keyword.scala Fri Mar 27 13:04:15 2020 +0100 +++ b/src/Pure/Isar/keyword.scala Fri Mar 27 22:01:27 2020 +0100 @@ -169,7 +169,7 @@ val kinds1 = kinds + (name -> kind) val load_commands1 = if (kind == THY_LOAD) { - if (!Symbol.iterator(name).forall(Symbol.is_ascii(_))) + if (!Symbol.iterator(name).forall(Symbol.is_ascii)) error("Bad theory load command " + quote(name)) load_commands + (name -> exts) }