# HG changeset patch
# User webertj
# Date 1141580953 -3600
# Node ID 7c311c513baefea0376d3a3667248942f9d4dfd5
# Parent  dbc19b772f5ba49280d614975969b09688033c94
fixed a typo in a comment

diff -r dbc19b772f5b -r 7c311c513bae src/HOL/Tools/sat_solver.ML
--- 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;