diff -r 4a58c38b85ff -r 584aea0b29bb src/HOL/Library/code_test.ML
--- 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