--- a/Nominal/Atoms.thy	Mon Dec 06 17:11:54 2010 +0000
+++ b/Nominal/Atoms.thy	Tue Dec 07 14:27:21 2010 +0000
@@ -197,7 +197,7 @@
 
 section {* Tests with subtyping and automatic coercions *}
 
-setup Subtyping.setup
+declare [[coercion_enabled]]
 
 atom_decl var1
 atom_decl var2