src/Tools/Code/code_target.ML

--- a/src/Tools/Code/code_target.ML	Thu Jun 09 15:38:49 2011 +0200
+++ b/src/Tools/Code/code_target.ML	Thu Jun 09 16:34:49 2011 +0200
@@ -416,7 +416,7 @@
   let
     val _ = if Code_Thingol.contains_dict_var t then
       error "Term to be evaluated contains free dictionaries" else ();
-    val v' = Name.variant (map fst vs) "a";
+    val v' = singleton (Name.variant_list (map fst vs)) "a";
     val vs' = (v', []) :: vs;
     val ty' = Code_Thingol.fun_tyco `%% [ITyVar v', ty];
     val value_name = "Value.value.value"