src/HOL/Library/Multiset.thy

--- a/src/HOL/Library/Multiset.thy	Mon Aug 09 12:48:40 2010 +0200
+++ b/src/HOL/Library/Multiset.thy	Mon Aug 09 12:53:16 2010 +0200
@@ -1723,8 +1723,8 @@
   | multiset_postproc _ _ _ _ t = t
 *}
 
-setup {*
-Nitpick_Model.register_term_postprocessor_global @{typ "'a multiset"}
+declaration {*
+Nitpick_Model.register_term_postprocessor @{typ "'a multiset"}
     multiset_postproc
 *}