fixed a typo in a comment
authorwebertj
Sun Mar 05 18:49:13 2006 +0100 (2006-03-05)
changeset 191907c311c513bae
parent 19189 dbc19b772f5b
child 19191 56cda3ec2ef8
fixed a typo in a comment
src/HOL/Tools/sat_solver.ML
     1.1 --- a/src/HOL/Tools/sat_solver.ML	Sat Mar 04 21:39:08 2006 +0100
     1.2 +++ b/src/HOL/Tools/sat_solver.ML	Sun Mar 05 18:49:13 2006 +0100
     1.3 @@ -45,7 +45,7 @@
     1.4  
     1.5  (* ------------------------------------------------------------------------- *)
     1.6  (* type of partial (satisfying) assignments: 'a i = NONE' means that 'a' is  *)
     1.7 -(*      a satisfying assigment regardless of the value of variable 'i'       *)
     1.8 +(*      a satisfying assignment regardless of the value of variable 'i'      *)
     1.9  (* ------------------------------------------------------------------------- *)
    1.10  
    1.11  	type assignment = int -> bool option;