src/HOLCF/Tools/fixrec.ML
changeset 33726 0878aecbf119
parent 33671 4b0f2599ed48
child 33766 c679f05600cd
--- a/src/HOLCF/Tools/fixrec.ML	Tue Nov 17 14:51:32 2009 +0100
+++ b/src/HOLCF/Tools/fixrec.ML	Tue Nov 17 14:51:57 2009 +0100
@@ -421,7 +421,6 @@
 (* code adapted from HOL/Tools/primrec.ML *)
 
 fun gen_fixrec
-  (set_group : bool)
   prep_spec
   (strict : bool)
   raw_fixes
@@ -473,8 +472,8 @@
 
 in
 
-val add_fixrec = gen_fixrec false Specification.check_spec;
-val add_fixrec_cmd = gen_fixrec true Specification.read_spec;
+val add_fixrec = gen_fixrec Specification.check_spec;
+val add_fixrec_cmd = gen_fixrec Specification.read_spec;
 
 end; (* local *)