--- a/src/HOL/Tools/sat_solver.ML Sat Mar 04 21:39:08 2006 +0100
+++ b/src/HOL/Tools/sat_solver.ML Sun Mar 05 18:49:13 2006 +0100
@@ -45,7 +45,7 @@
(* ------------------------------------------------------------------------- *)
(* type of partial (satisfying) assignments: 'a i = NONE' means that 'a' is *)
-(* a satisfying assigment regardless of the value of variable 'i' *)
+(* a satisfying assignment regardless of the value of variable 'i' *)
(* ------------------------------------------------------------------------- *)
type assignment = int -> bool option;