# HG changeset patch
# User bulwahn
# Date 1280420195 -7200
# Node ID 61280b97b7612cea8bd63ed1408978f7fa9176ee
# Parent  8b02ce312893ea42b30c3cfcf14480db65b09770
adapting output for first solution

diff -r 8b02ce312893 -r 61280b97b761 src/HOL/Tools/Predicate_Compile/code_prolog.ML
--- a/src/HOL/Tools/Predicate_Compile/code_prolog.ML	Thu Jul 29 17:27:59 2010 +0200
+++ b/src/HOL/Tools/Predicate_Compile/code_prolog.ML	Thu Jul 29 18:16:35 2010 +0200
@@ -181,7 +181,8 @@
 
 fun query_first rel vnames =
   "eval :- once("  ^ rel ^ "(" ^ space_implode ", " vnames ^ ")),\n" ^
-  "writef('" ^ implode (map (fn v => v ^ " = %w; ") vnames) ^"\\n', [" ^ space_implode ", " vnames ^ "]).\n"
+  "writef('" ^ space_implode ";" (map (fn v => v ^ " = %w") vnames) ^
+  "\\n', [" ^ space_implode ", " vnames ^ "]).\n"
   
 fun query_firstn n rel vnames =
   "eval :- findnsols(" ^ string_of_int n ^ ", (" ^ space_implode ", " vnames ^ "), " ^