diff -r ad5d7461b370 -r 8219a65b24e3 src/Pure/Concurrent/synchronized.ML
--- a/src/Pure/Concurrent/synchronized.ML	Thu Apr 24 11:01:14 2014 +0200
+++ b/src/Pure/Concurrent/synchronized.ML	Thu Apr 24 12:09:55 2014 +0200
@@ -18,7 +18,7 @@
 structure Synchronized: SYNCHRONIZED =
 struct
 
-(* state variables *)
+(* state variable *)
 
 abstype 'a var = Var of
  {name: string,