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