src/Tools/Code/code_thingol.ML

--- a/src/Tools/Code/code_thingol.ML	Thu Jun 09 17:46:25 2011 +0200
+++ b/src/Tools/Code/code_thingol.ML	Thu Jun 09 17:51:49 2011 +0200
@@ -354,7 +354,7 @@
 
 fun add_variant update (thing, name) (tab, used) =
   let
-    val (name', used') = yield_singleton Name.variants name used;
+    val (name', used') = Name.variant name used;
     val tab' = update (thing, name') tab;
   in (tab', used') end;