src/HOL/Tools/meson.ML

--- a/src/HOL/Tools/meson.ML	Thu Oct 29 16:59:12 2009 +0100
+++ b/src/HOL/Tools/meson.ML	Thu Oct 29 17:58:26 2009 +0100
@@ -450,7 +450,7 @@
 (*Is the given disjunction an all-negative support clause?*)
 fun is_negative th = forall (not o #1) (literals (prop_of th));
 
-val neg_clauses = List.filter is_negative;
+val neg_clauses = filter is_negative;
 
 
 (***** MESON PROOF PROCEDURE *****)