write_dimacs_sat_file writes outer parentheses again
authorwebertj
Tue Jul 26 12:40:52 2005 +0200 (2005-07-26)
changeset 1691235b01ba73625
parent 16911 20a139ca2f62
child 16913 1d8a8d010e69
write_dimacs_sat_file writes outer parentheses again
src/HOL/Tools/sat_solver.ML
     1.1 --- a/src/HOL/Tools/sat_solver.ML	Tue Jul 26 12:23:10 2005 +0200
     1.2 +++ b/src/HOL/Tools/sat_solver.ML	Tue Jul 26 12:40:52 2005 +0200
     1.3 @@ -177,7 +177,7 @@
     1.4  				"c This file was generated by SatSolver.write_dimacs_sat_file\n" ^
     1.5  				"c (c) Tjark Weber\n" ^
     1.6  				"p sat " ^ string_of_int number_of_vars ^ "\n" ^
     1.7 -				(*"(" ^*) sat_string fm ^ "\n" (*")\n"*)
     1.8 +				"(" ^ sat_string fm ^ ")\n"
     1.9  			end)
    1.10  	end;
    1.11