simplified sectioned_args;
authorwenzelm
Sat Sep 25 13:23:58 1999 +0200 (1999-09-25 ago)
changeset 76076381cd433a99
parent 7606 7905a74eb068
child 7608 8069542cba82
simplified sectioned_args;
src/Provers/blast.ML
     1.1 --- a/src/Provers/blast.ML	Sat Sep 25 13:20:12 1999 +0200
     1.2 +++ b/src/Provers/blast.ML	Sat Sep 25 13:23:58 1999 +0200
     1.3 @@ -1331,7 +1331,7 @@
     1.4  (** method setup **)
     1.5  
     1.6  fun blast_args m =
     1.7 -  Method.sectioned_args (K (Args.bang_facts -- Scan.lift (Scan.option Args.nat))) Data.cla_modifiers m;
     1.8 +  Method.sectioned_args (Args.bang_facts -- Scan.lift (Scan.option Args.nat)) Data.cla_modifiers m;
     1.9  
    1.10  fun blast_meth (prems, None) = Data.cla_meth' blast_tac prems
    1.11    | blast_meth (prems, Some lim) = Data.cla_meth' (fn cs => depth_tac cs lim) prems;