src/Tools/nbe.ML
changeset 52519 598addf65209
parent 52474 9c7f760d06c2
child 54889 4121d64fde90
     1.1 --- a/src/Tools/nbe.ML	Wed Jul 03 23:42:07 2013 +0200
     1.2 +++ b/src/Tools/nbe.ML	Thu Jul 04 08:52:44 2013 +0200
     1.3 @@ -439,7 +439,7 @@
     1.4    | eqns_of_stmt (inst, Code_Thingol.Classinst { class, vs, superinsts, inst_params, ... }) =
     1.5        [(inst, (vs, [([], dummy_const class [] `$$
     1.6          map (fn (_, (_, (inst, dss))) => dummy_const inst dss) superinsts
     1.7 -        @ map (IConst o snd o fst) inst_params)]))];
     1.8 +        @ map (IConst o fst o snd o fst) inst_params)]))];
     1.9  
    1.10  
    1.11  (* compile whole programs *)