src/HOL/Tools/meson.ML
changeset 33317 b4534348b8fd
parent 33245 65232054ffd0
child 33339 d41f77196338
     1.1 --- a/src/HOL/Tools/meson.ML	Thu Oct 29 16:59:12 2009 +0100
     1.2 +++ b/src/HOL/Tools/meson.ML	Thu Oct 29 17:58:26 2009 +0100
     1.3 @@ -450,7 +450,7 @@
     1.4  (*Is the given disjunction an all-negative support clause?*)
     1.5  fun is_negative th = forall (not o #1) (literals (prop_of th));
     1.6  
     1.7 -val neg_clauses = List.filter is_negative;
     1.8 +val neg_clauses = filter is_negative;
     1.9  
    1.10  
    1.11  (***** MESON PROOF PROCEDURE *****)