src/HOLCF/Tools/Domain/domain_axioms.ML
changeset 33317 b4534348b8fd
parent 33245 65232054ffd0
child 33396 45c5c3c51918
--- a/src/HOLCF/Tools/Domain/domain_axioms.ML	Thu Oct 29 16:59:12 2009 +0100
+++ b/src/HOLCF/Tools/Domain/domain_axioms.ML	Thu Oct 29 17:58:26 2009 +0100
@@ -184,7 +184,7 @@
 
       fun one_con (con,args) = let
         val nonrec_args = filter_out is_rec args;
-        val    rec_args = List.filter     is_rec args;
+        val    rec_args = filter is_rec args;
         val    recs_cnt = length rec_args;
         val allargs     = nonrec_args @ rec_args
                           @ map (upd_vname (fn s=> s^"'")) rec_args;