| changeset 69575 | f77cc54f6d47 |
| parent 69289 | bf6937af7fe8 |
| child 69876 | b49bd228ac8a |
--- a/src/Pure/Isar/outer_syntax.ML Thu Jan 03 12:34:26 2019 +0100 +++ b/src/Pure/Isar/outer_syntax.ML Thu Jan 03 14:12:44 2019 +0100 @@ -174,8 +174,7 @@ (* parse commands *) -val bootstrap = - Config.bool (Config.declare ("Outer_Syntax.bootstrap", \<^here>) (K (Config.Bool true))); +val bootstrap = Config.declare_bool ("Outer_Syntax.bootstrap", \<^here>) (K true); local