src/Pure/Tools/codegen_consts.ML

--- a/src/Pure/Tools/codegen_consts.ML	Tue Aug 29 14:31:14 2006 +0200
+++ b/src/Pure/Tools/codegen_consts.ML	Tue Aug 29 14:31:15 2006 +0200
@@ -103,6 +103,7 @@
   | class_of_classop thy (c, _) = NONE;
 
 fun insts_of_classop thy (c_tys as (c, tys)) =
+  (*get rid of this finally*)
   case AxClass.class_of_param thy c
    of NONE => [c_tys]
     | SOME class => let