src/HOL/Prolog/prolog.ML

--- a/src/HOL/Prolog/prolog.ML	Fri Feb 19 11:56:11 2010 +0100
+++ b/src/HOL/Prolog/prolog.ML	Fri Feb 19 16:11:45 2010 +0100
@@ -59,7 +59,7 @@
 in map zero_var_indexes (at thm) end;
 
 val atomize_ss =
-  Simplifier.theory_context @{theory} empty_ss
+  Simplifier.global_context @{theory} empty_ss
   setmksimps (mksimps mksimps_pairs)
   addsimps [
         all_conj_distrib, (* "(! x. P x & Q x) = ((! x. P x) & (! x. Q x))" *)