# HG changeset patch
# User webertj
# Date 1122374452 -7200
# Node ID 35b01ba73625fa5dc518bce18870d86c7373b11a
# Parent  20a139ca2f62edea322b5a8f45fccae6446283d6
write_dimacs_sat_file writes outer parentheses again

diff -r 20a139ca2f62 -r 35b01ba73625 src/HOL/Tools/sat_solver.ML
--- a/src/HOL/Tools/sat_solver.ML	Tue Jul 26 12:23:10 2005 +0200
+++ b/src/HOL/Tools/sat_solver.ML	Tue Jul 26 12:40:52 2005 +0200
@@ -177,7 +177,7 @@
 				"c This file was generated by SatSolver.write_dimacs_sat_file\n" ^
 				"c (c) Tjark Weber\n" ^
 				"p sat " ^ string_of_int number_of_vars ^ "\n" ^
-				(*"(" ^*) sat_string fm ^ "\n" (*")\n"*)
+				"(" ^ sat_string fm ^ ")\n"
 			end)
 	end;