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_hol.ML
changeset 65458 cf504b7a7aa7
parent 65049 928156a95e1a
child 67703 8c4806fe827f 
--- a/src/HOL/Tools/Nitpick/nitpick_hol.ML	Mon Apr 10 16:43:12 2017 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML	Mon Apr 10 21:05:31 2017 +0200
@@ -1360,7 +1360,7 @@
   ctxt |> Spec_Rules.get
        |> filter (curry (op =) Spec_Rules.Unknown o fst)
        |> maps (snd o snd)
-       |> filter_out (is_built_in_theory o Thm.theory_id_of_thm)
+       |> filter_out (is_built_in_theory o Thm.theory_id)
        |> map (subst_atomic subst o Thm.prop_of)
 
 fun arity_of_built_in_const (s, T) =
isabelle