src/HOL/Tools/Nitpick/nitpick_tests.ML
changeset 36385 ff5f88702590
parent 36384 76d5fd5a45fb
child 37396 18a1e9c7acb0
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Sat Apr 24 16:17:30 2010 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Sat Apr 24 16:33:01 2010 +0200
     1.3 @@ -292,7 +292,6 @@
     1.4  *)
     1.5    ]
     1.6  
     1.7 -(* Proof.context -> string * nut -> Kodkod.problem *)
     1.8  fun problem_for_nut ctxt (name, u) =
     1.9    let
    1.10      val debug = false
    1.11 @@ -319,7 +318,6 @@
    1.12       formula = formula}
    1.13    end
    1.14  
    1.15 -(* unit -> unit *)
    1.16  fun run_all_tests () =
    1.17    case Kodkod.solve_any_problem false NONE 0 1
    1.18                                  (map (problem_for_nut @{context}) tests) of