--- a/src/Pure/Isar/token.ML Wed Oct 20 18:13:17 2021 +0200 +++ b/src/Pure/Isar/token.ML Wed Oct 20 20:04:28 2021 +0200 @@ -793,7 +793,6 @@ end; - (* wrapped syntax *) fun syntax_generic scan src context =