src/HOL/Library/Predicate_Compile_Alternative_Defs.thy

 
 setup \<open>Predicate_Compile_Data.ignore_consts [@{const_name Let}]\<close>
 
 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>
 
 (*TODO: shouldn't this be done by typedef? *)
 setup \<open>Predicate_Compile_Data.ignore_consts [@{const_name Abs_filter}, @{const_name Rep_filter}]\<close>