# HG changeset patch
# User wenzelm
# Date 1294493454 -3600
# Node ID 287554587af530f0894d2a4327afc5d387107ed1
# Parent  0e4f6cf20cdf5c2c884550518817c0d0ecb48fb3
tuned;

diff -r 0e4f6cf20cdf -r 287554587af5 src/Pure/raw_simplifier.ML
--- a/src/Pure/raw_simplifier.ML	Sat Jan 08 00:28:31 2011 +0100
+++ b/src/Pure/raw_simplifier.ML	Sat Jan 08 14:30:54 2011 +0100
@@ -295,7 +295,7 @@
 
 fun if_visible (Simpset ({context, ...}, _)) f x =
   (case context of
-    SOME ctxt => if Context_Position.is_visible ctxt then f x else ()
+    SOME ctxt => Context_Position.if_visible ctxt f x
   | NONE => ());
 
 local