--- a/src/HOL/Library/Predicate_Compile_Alternative_Defs.thy Sun Sep 06 22:14:51 2015 +0200
+++ b/src/HOL/Library/Predicate_Compile_Alternative_Defs.thy Sun Sep 06 22:14:51 2015 +0200
@@ -22,7 +22,7 @@
section \<open>Pairs\<close>
-setup \<open>Predicate_Compile_Data.ignore_consts [@{const_name fst}, @{const_name snd}, @{const_name case_prod}]\<close>
+setup \<open>Predicate_Compile_Data.ignore_consts [@{const_name fst}, @{const_name snd}, @{const_name uncurry}]\<close>
section \<open>Filters\<close>