diff -r 1711610c5b7d -r f93390060bbe src/HOL/Tools/Nitpick/kodkod_sat.ML
--- a/src/HOL/Tools/Nitpick/kodkod_sat.ML	Tue Oct 27 12:16:26 2009 +0100
+++ b/src/HOL/Tools/Nitpick/kodkod_sat.ML	Tue Oct 27 14:40:24 2009 +0100
@@ -12,7 +12,7 @@
   val sat_solver_spec : string -> string * string list
 end;
 
-structure KodkodSAT : KODKOD_SAT =
+structure Kodkod_SAT : KODKOD_SAT =
 struct
 
 datatype sink = ToStdout | ToFile