
diff -r 842057125043 -r f26d590dce0f src/HOL/Library/Multiset.thy
--- a/src/HOL/Library/Multiset.thy	Fri Aug 06 17:18:29 2010 +0200
+++ b/src/HOL/Library/Multiset.thy	Fri Aug 06 17:23:11 2010 +0200
@@ -1724,7 +1724,8 @@
 *}
 
 setup {*
-Nitpick.register_term_postprocessor @{typ "'a multiset"} multiset_postproc
+Nitpick_Model.register_term_postprocessor_global @{typ "'a multiset"}
+    multiset_postproc
 *}
 
 end




