changeset 43085 | 0a2f5b86bdd7 |
parent 41793 | c7a2669ae75d |
child 43850 | 7f2cbc713344 |
--- a/src/HOL/Tools/Nitpick/kodkod.ML Tue May 31 11:21:47 2011 +0200 +++ b/src/HOL/Tools/Nitpick/kodkod.ML Tue May 31 16:38:36 2011 +0200 @@ -860,7 +860,7 @@ out "solve "; out_outmost_f formula; out ";\n") in out ("// This file was generated by Isabelle (most likely Nitpick)\n" ^ - "// " ^ ATP_Problem.timestamp () ^ "\n"); + "// " ^ ATP_Util.timestamp () ^ "\n"); map out_problem problems end