tuned message;
authorwenzelm
Wed Apr 11 13:37:46 2012 +0200 (2012-04-11)
changeset 474225832630f049a
parent 47421 9624408d8827
child 47423 8a179a0493e3
tuned message;
src/Pure/Concurrent/single_assignment.ML
     1.1 --- a/src/Pure/Concurrent/single_assignment.ML	Wed Apr 11 12:15:56 2012 +0200
     1.2 +++ b/src/Pure/Concurrent/single_assignment.ML	Wed Apr 11 13:37:46 2012 +0200
     1.3 @@ -46,7 +46,7 @@
     1.4  fun assign (v as Var {name, lock, cond, var}) x =
     1.5    Simple_Thread.synchronized name lock (fn () =>
     1.6      (case peek v of
     1.7 -      SOME _ => raise Fail ("Duplicate assignment to variable " ^ quote name)
     1.8 +      SOME _ => raise Fail ("Duplicate assignment to " ^ name)
     1.9      | NONE =>
    1.10          uninterruptible (fn _ => fn () =>
    1.11           (SingleAssignment.saset (var, x); ConditionVar.broadcast cond)) ()));