
diff -r 6292f1f5ffae -r 30687c3f2b10 src/HOL/Library/Code_Test.thy
--- a/src/HOL/Library/Code_Test.thy	Tue Mar 31 16:47:12 2015 +0200
+++ b/src/HOL/Library/Code_Test.thy	Tue Mar 31 17:34:52 2015 +0200
@@ -64,7 +64,7 @@
 by(cases x y rule: xml_tree.exhaust[case_product xml_tree.exhaust])(simp)
 
 context begin
-local_setup {* Local_Theory.map_naming (Name_Space.mandatory_path "xml") *}
+local_setup {* Local_Theory.map_background_naming (Name_Space.mandatory_path "xml") *}
 
 type_synonym attributes = "(String.literal \<times> String.literal) list"
 type_synonym body = "xml_tree list"




