| changeset 69575 | f77cc54f6d47 |
| parent 67649 | 1e1782c1aedf |
| child 70397 | f5bce5af361b |
--- a/src/Pure/Proof/reconstruct.ML Thu Jan 03 12:34:26 2019 +0100 +++ b/src/Pure/Proof/reconstruct.ML Thu Jan 03 14:12:44 2019 +0100 @@ -19,8 +19,7 @@ structure Reconstruct : RECONSTRUCT = struct -val quiet_mode = - Config.bool (Config.declare ("Reconstruct.quiet_mode", \<^here>) (K (Config.Bool true))); +val quiet_mode = Config.declare_bool ("Reconstruct.quiet_mode", \<^here>) (K true); fun message ctxt msg = if Config.get ctxt quiet_mode then () else writeln (msg ());