src/Pure/Tools/codegen_thingol.ML

--- a/src/Pure/Tools/codegen_thingol.ML	Tue Dec 20 04:29:25 2005 +0100
+++ b/src/Pure/Tools/codegen_thingol.ML	Tue Dec 20 08:38:10 2005 +0100
@@ -1239,7 +1239,7 @@
           let
             val _ = writeln "TRANSFORMING FUN (1)";
             val varnames_ctxt =
-              dig
+              burrow
                 (Term.invent_names ((vars_of_iexprs o map snd) eqs @
                   (vars_of_ipats o Library.flat o map fst) eqs) "d" o length)
                 (map snd sortctxt);