src/HOL/Tools/Nitpick/kodkod.ML
changeset 38019 e207a64e1e0b
parent 36914 1806aa69bd62
child 38126 8031d099379a
     1.1 --- a/src/HOL/Tools/Nitpick/kodkod.ML	Tue Jul 27 17:32:55 2010 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/kodkod.ML	Tue Jul 27 17:43:11 2010 +0200
     1.3 @@ -847,7 +847,7 @@
     1.4           out "solve "; out_outmost_f formula; out ";\n")
     1.5    in
     1.6      out ("// This file was generated by Isabelle (most likely Nitpick)\n" ^
     1.7 -         "// " ^ Sledgehammer_Util.timestamp () ^ "\n");
     1.8 +         "// " ^ ATP_Problem.timestamp () ^ "\n");
     1.9      map out_problem problems
    1.10    end
    1.11