--- a/src/Pure/codegen.ML Sun Jul 08 19:51:55 2007 +0200
+++ b/src/Pure/codegen.ML Sun Jul 08 19:51:58 2007 +0200
@@ -894,7 +894,7 @@
(map (fn s => case Symtab.lookup graphs s of
NONE => error ("Undefined code module: " ^ s)
| SOME gr => gr) modules))
- handle Graph.DUPS ks => error ("Duplicate code for " ^ commas ks);
+ handle Graph.DUP k => error ("Duplicate code for " ^ k);
fun expand (t as Abs _) = t
| expand t = (case fastype_of t of
Type ("fun", [T, U]) => Abs ("x", T, t $ Bound 0) | _ => t);