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 61315 a48388351990
parent 61310 9a50ea544fd3
child 61365 1190beb20762 
--- a/src/HOL/Tools/Nitpick/nitpick.ML	Fri Oct 02 21:21:51 2015 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick.ML	Fri Oct 02 21:24:37 2015 +0200
@@ -22,7 +22,6 @@
      monos: (typ option * bool option) list,
      wfs: ((string * typ) option * bool option) list,
      sat_solver: string,
-     blocking: bool,
      falsify: bool,
      debug: bool,
      verbose: bool,
@@ -106,7 +105,6 @@
    monos: (typ option * bool option) list,
    wfs: ((string * typ) option * bool option) list,
    sat_solver: string,
-   blocking: bool,
    falsify: bool,
    debug: bool,
    verbose: bool,
isabelle