src/Tools/nbe.ML

--- a/src/Tools/nbe.ML	Thu Jun 17 10:51:38 2010 +0200
+++ b/src/Tools/nbe.ML	Thu Jun 17 10:57:00 2010 +0200
@@ -404,7 +404,7 @@
       []
   | eqns_of_stmt (_, Code_Thingol.Datatype _) =
       []
-  | eqns_of_stmt (class, Code_Thingol.Class (_, (v, (super_classes, classparams)))) =
+  | eqns_of_stmt (class, Code_Thingol.Class (_, (v, ((super_classes, _), classparams)))) =
       let
         val names = map snd super_classes @ map fst classparams;
         val params = Name.invent_list [] "d" (length names);