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/Mutabelle/mutabelle_extra.ML
changeset 47715 04400144c6fc
parent 47108 2a1953f0d20d
child 49441 0ae4216a1783 
--- a/src/HOL/Mutabelle/mutabelle_extra.ML	Tue Apr 24 09:47:40 2012 +0200
+++ b/src/HOL/Mutabelle/mutabelle_extra.ML	Tue Apr 24 09:47:40 2012 +0200
@@ -189,7 +189,7 @@
     val ctxt = Proof_Context.init_global thy
     val state = Proof.init ctxt
     val (res, _) = Nitpick.pick_nits_in_term state
-      (Nitpick_Isar.default_params thy []) Nitpick.Normal 1 1 1 [] [] t
+      (Nitpick_Isar.default_params thy []) Nitpick.Normal 1 1 1 [] [] [] t
     val _ = Output.urgent_message ("Nitpick: " ^ res)
   in
     (rpair []) (case res of
isabelle