changeset 38242 | f26d590dce0f |
parent 37765 | 26bdfb7b680b |
child 38287 | 796302ca3611 |
--- 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