
diff -r 29800666e526 -r 842917225d56 src/HOL/Fun.thy
--- a/src/HOL/Fun.thy	Tue Feb 23 15:37:18 2016 +0100
+++ b/src/HOL/Fun.thy	Tue Feb 23 16:25:08 2016 +0100
@@ -667,7 +667,7 @@
   by auto
 
 lemma fun_upd_eqD: "f(x := y) = g(x := z) \<Longrightarrow> y = z"
-by(simp add: fun_eq_iff split: split_if_asm)
+by(simp add: fun_eq_iff split: if_split_asm)
 
 subsection \<open>\<open>override_on\<close>\<close>
 




