# HG changeset patch
# User wenzelm
# Date 1334144266 -7200
# Node ID 5832630f049a52932acbfba7277754c4ad7e9256
# Parent  9624408d88271b267ee3c4bbcd0a3497e564a761
tuned message;

diff -r 9624408d8827 -r 5832630f049a src/Pure/Concurrent/single_assignment.ML
--- 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)) ()));