1.1 --- a/src/HOL/Tools/Predicate_Compile/code_prolog.ML	Thu Jul 29 17:27:59 2010 +0200
     1.2 +++ b/src/HOL/Tools/Predicate_Compile/code_prolog.ML	Thu Jul 29 18:16:35 2010 +0200
     1.3 @@ -181,7 +181,8 @@
     1.4  
     1.5  fun query_first rel vnames =
     1.6    "eval :- once("  ^ rel ^ "(" ^ space_implode ", " vnames ^ ")),\n" ^
     1.7 -  "writef('" ^ implode (map (fn v => v ^ " = %w; ") vnames) ^"\\n', [" ^ space_implode ", " vnames ^ "]).\n"
     1.8 +  "writef('" ^ space_implode ";" (map (fn v => v ^ " = %w") vnames) ^
     1.9 +  "\\n', [" ^ space_implode ", " vnames ^ "]).\n"
    1.10    
    1.11  fun query_firstn n rel vnames =
    1.12    "eval :- findnsols(" ^ string_of_int n ^ ", (" ^ space_implode ", " vnames ^ "), " ^