src/HOL/Tools/sat_solver.ML
changeset 20441 a9034285b96b
parent 20152 b6373fe199e1
child 20463 062c4e9bf3bb
     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