read_dimacs_cnf_file ignores more comment lines
authorwebertj
Thu Aug 31 02:22:05 2006 +0200 (2006-08-31)
changeset 20441a9034285b96b
parent 20440 e6fe74eebda3
child 20442 04621ea9440e
read_dimacs_cnf_file ignores more comment lines
src/HOL/Tools/sat_solver.ML
     1.1 --- a/src/HOL/Tools/sat_solver.ML	Wed Aug 30 16:27:53 2006 +0200
     1.2 +++ b/src/HOL/Tools/sat_solver.ML	Thu Aug 31 02:22:05 2006 +0200
     1.3 @@ -283,7 +283,7 @@
     1.4  		fun filter_preamble [] =
     1.5  			error "problem line not found in DIMACS CNF file"
     1.6  		  | filter_preamble (line::lines) =
     1.7 -			if String.isPrefix "c " line then
     1.8 +			if String.isPrefix "c " line orelse line = "c" then
     1.9  				(* ignore comments *)
    1.10  				filter_preamble lines
    1.11  			else if String.isPrefix "p " line then