Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Nitpick/nitpick_preproc.ML
changeset 56243 2e10a36b8d46
parent 55889 6bfbec3dff62
child 56245 84fc7dfa3cd4 
--- a/src/HOL/Tools/Nitpick/nitpick_preproc.ML	Fri Mar 21 12:14:33 2014 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_preproc.ML	Fri Mar 21 12:34:50 2014 +0100
@@ -979,7 +979,7 @@
                                             (Const (mate_of_rep_fun ctxt x))
                      |> fold (add_def_axiom depth)
                              (inverse_axioms_for_rep_fun ctxt x)
-             else if s = @{const_name TYPE} then
+             else if s = @{const_name Pure.type} then
                accum
              else case def_of_const thy def_tables x of
                SOME _ =>
isabelle