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.ML
changeset 60948 b710a5087116
parent 60310 932221b62e89
child 61310 9a50ea544fd3 
--- a/src/HOL/Tools/Nitpick/nitpick.ML	Sun Aug 16 17:11:31 2015 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick.ML	Sun Aug 16 18:19:30 2015 +0200
@@ -220,7 +220,7 @@
 (* FIXME: reintroduce code before new release:
 
     val nitpick_thy = Thy_Info.get_theory "Nitpick"
-    val _ = Theory.subthy (nitpick_thy, thy) orelse
+    val _ = Context.subthy (nitpick_thy, thy) orelse
             error "You must import the theory \"Nitpick\" to use Nitpick"
 *)
     val {cards_assigns, maxes_assigns, iters_assigns, bitss, bisim_depths,
isabelle