# HG changeset patch
# User haftmann
# Date 1283436853 -7200
# Node ID 9b1fd2df743c9392c4417969e08d9a63f0c83e4d
# Parent  9b771df370eaf178500df6db13612d210e34ad8f
swapped slip

diff -r 9b771df370ea -r 9b1fd2df743c src/Tools/Code/code_ml.ML
--- a/src/Tools/Code/code_ml.ML	Thu Sep 02 16:14:09 2010 +0200
+++ b/src/Tools/Code/code_ml.ML	Thu Sep 02 16:14:13 2010 +0200
@@ -762,7 +762,7 @@
     fun modify_stmts ([stmt as (name, stmt' as Code_Thingol.Fun _)]) =
           if Code_Thingol.is_case stmt' then [] else [modify_fun stmt]
       | modify_stmts ((stmts as (_, Code_Thingol.Fun _)::_)) =
-          modify_funs (filter (Code_Thingol.is_case o snd) stmts)
+          modify_funs (filter_out (Code_Thingol.is_case o snd) stmts)
       | modify_stmts ((stmts as (_, Code_Thingol.Datatypecons _)::_)) =
           modify_datatypes stmts
       | modify_stmts ((stmts as (_, Code_Thingol.Datatype _)::_)) =