changeset 35866 | 513074557e06 |
parent 35807 | e4d1b5cbd429 |
child 35964 | 77f2cb359b49 |
--- a/src/HOL/Tools/Nitpick/nitpick_util.ML Fri Mar 19 13:02:18 2010 +0100 +++ b/src/HOL/Tools/Nitpick/nitpick_util.ML Fri Mar 19 15:07:44 2010 +0100 @@ -62,7 +62,7 @@ val pstrs : string -> Pretty.T list val unyxml : string -> string val maybe_quote : string -> string -end +end; structure Nitpick_Util : NITPICK_UTIL = struct