| changeset 72293 | 584aea0b29bb |
| parent 72291 | ccc104786829 |
| child 72296 | 00490c408e52 |
--- a/src/HOL/Library/code_test.ML Fri Sep 25 05:26:09 2020 +0000 +++ b/src/HOL/Library/code_test.ML Fri Sep 25 11:24:28 2020 +0200 @@ -141,7 +141,7 @@ (* driver invocation *) -val debug = Attrib.setup_config_bool \<^binding>\<open>code_test_debug\<close> (K false) +val debug = Attrib.setup_config_bool \<^binding>\<open>test_code_debug\<close> (K false) fun with_debug_dir name f = let