
diff -r 5eb932e604a2 -r eab6ce8368fa src/HOL/Nitpick_Examples/Manual_Nits.thy
--- a/src/HOL/Nitpick_Examples/Manual_Nits.thy	Wed Jan 10 15:21:49 2018 +0100
+++ b/src/HOL/Nitpick_Examples/Manual_Nits.thy	Wed Jan 10 15:25:09 2018 +0100
@@ -81,7 +81,7 @@
 nitpick [expect = none]
 oops
 
-lemma "P ((op +)::nat\<Rightarrow>nat\<Rightarrow>nat)"
+lemma "P ((+)::nat\<Rightarrow>nat\<Rightarrow>nat)"
 nitpick [card nat = 1, expect = genuine]
 nitpick [card nat = 2, expect = none]
 oops




