src/Pure/axclass.ML

--- a/src/Pure/axclass.ML	Thu Apr 27 12:11:56 2006 +0200
+++ b/src/Pure/axclass.ML	Thu Apr 27 15:06:35 2006 +0200
@@ -267,7 +267,7 @@
 
     (* definition *)
 
-    val conjs = map (curry Logic.mk_inclass (Term.aT [])) super @ List.concat axiomss;
+    val conjs = map (curry Logic.mk_inclass (Term.aT [])) super @ flat axiomss;
     val class_eq =
       Logic.mk_equals (Logic.mk_inclass (Term.aT [], class), Logic.mk_conjunction_list conjs);