1.1 --- a/src/Tools/nbe.ML	Tue Jun 15 07:42:48 2010 +0200
     1.2 +++ b/src/Tools/nbe.ML	Tue Jun 15 08:32:32 2010 +0200
     1.3 @@ -396,9 +396,9 @@
     1.4  
     1.5  (* preparing function equations *)
     1.6  
     1.7 -fun eqns_of_stmt (_, Code_Thingol.Fun (_, (_, []))) =
     1.8 +fun eqns_of_stmt (_, Code_Thingol.Fun (_, ((_, []), _))) =
     1.9        []
    1.10 -  | eqns_of_stmt (const, Code_Thingol.Fun (_, ((vs, _), eqns))) =
    1.11 +  | eqns_of_stmt (const, Code_Thingol.Fun (_, (((vs, _), eqns), _))) =
    1.12        [(const, (vs, map fst eqns))]
    1.13    | eqns_of_stmt (_, Code_Thingol.Datatypecons _) =
    1.14        []