1.1 --- a/src/Tools/Code/code_thingol.ML	Mon Jan 04 16:00:23 2010 +0100
     1.2 +++ b/src/Tools/Code/code_thingol.ML	Mon Jan 04 16:00:24 2010 +0100
     1.3 @@ -848,8 +848,8 @@
     1.4    val empty = (empty_naming, Graph.empty);
     1.5  );
     1.6  
     1.7 -fun invoke_generation theory (algebra, eqngr) f name =
     1.8 -  Program.change_yield theory (fn thy => fn naming_program => (NONE, naming_program)
     1.9 +fun invoke_generation thy (algebra, eqngr) f name =
    1.10 +  Program.change_yield thy (fn naming_program => (NONE, naming_program)
    1.11      |> f thy algebra eqngr name
    1.12      |-> (fn name => fn (_, naming_program) => (name, naming_program)));
    1.13