src/HOL/Library/Multiset.thy
changeset 38242 f26d590dce0f
parent 37765 26bdfb7b680b
child 38287 796302ca3611
     1.1 --- a/src/HOL/Library/Multiset.thy	Fri Aug 06 17:18:29 2010 +0200
     1.2 +++ b/src/HOL/Library/Multiset.thy	Fri Aug 06 17:23:11 2010 +0200
     1.3 @@ -1724,7 +1724,8 @@
     1.4  *}
     1.5  
     1.6  setup {*
     1.7 -Nitpick.register_term_postprocessor @{typ "'a multiset"} multiset_postproc
     1.8 +Nitpick_Model.register_term_postprocessor_global @{typ "'a multiset"}
     1.9 +    multiset_postproc
    1.10  *}
    1.11  
    1.12  end