Added type constraint to please sml/nj
authorkrauss
Wed Aug 02 18:33:46 2006 +0200 (2006-08-02)
changeset 2028523f5cd23c1e1
parent 20284 a17c737c82df
child 20286 4cf8e86a2d29
Added type constraint to please sml/nj
src/HOL/Tools/function_package/fundef_package.ML
     1.1 --- a/src/HOL/Tools/function_package/fundef_package.ML	Wed Aug 02 18:30:57 2006 +0200
     1.2 +++ b/src/HOL/Tools/function_package/fundef_package.ML	Wed Aug 02 18:33:46 2006 +0200
     1.3 @@ -76,7 +76,7 @@
     1.4        add_fundef_data name (fundef_data, mutual_info, spec) thy
     1.5      end
     1.6  
     1.7 -fun gen_add_fundef prep_att eqns_attss preprocess thy =
     1.8 +fun gen_add_fundef prep_att eqns_attss (preprocess : bool) thy =
     1.9      let
    1.10        fun prep_eqns neqs =
    1.11            neqs