--- a/src/Pure/Concurrent/single_assignment.ML Wed Apr 11 12:15:56 2012 +0200
+++ b/src/Pure/Concurrent/single_assignment.ML Wed Apr 11 13:37:46 2012 +0200
@@ -46,7 +46,7 @@
fun assign (v as Var {name, lock, cond, var}) x =
Simple_Thread.synchronized name lock (fn () =>
(case peek v of
- SOME _ => raise Fail ("Duplicate assignment to variable " ^ quote name)
+ SOME _ => raise Fail ("Duplicate assignment to " ^ name)
| NONE =>
uninterruptible (fn _ => fn () =>
(SingleAssignment.saset (var, x); ConditionVar.broadcast cond)) ()));