src/Tools/Code/code_ml.ML
changeset 39061 9b1fd2df743c
parent 39059 3a11a667af75
child 39102 4ae1d212100f
     1.1 --- a/src/Tools/Code/code_ml.ML	Thu Sep 02 16:14:09 2010 +0200
     1.2 +++ b/src/Tools/Code/code_ml.ML	Thu Sep 02 16:14:13 2010 +0200
     1.3 @@ -762,7 +762,7 @@
     1.4      fun modify_stmts ([stmt as (name, stmt' as Code_Thingol.Fun _)]) =
     1.5            if Code_Thingol.is_case stmt' then [] else [modify_fun stmt]
     1.6        | modify_stmts ((stmts as (_, Code_Thingol.Fun _)::_)) =
     1.7 -          modify_funs (filter (Code_Thingol.is_case o snd) stmts)
     1.8 +          modify_funs (filter_out (Code_Thingol.is_case o snd) stmts)
     1.9        | modify_stmts ((stmts as (_, Code_Thingol.Datatypecons _)::_)) =
    1.10            modify_datatypes stmts
    1.11        | modify_stmts ((stmts as (_, Code_Thingol.Datatype _)::_)) =