src/HOL/Tools/inductive.ML

--- a/src/HOL/Tools/inductive.ML	Fri Dec 17 16:25:21 2010 +0100
+++ b/src/HOL/Tools/inductive.ML	Fri Dec 17 17:08:56 2010 +0100
@@ -282,7 +282,7 @@
 
 val bad_app = "Inductive predicate must be applied to parameter(s) ";
 
-fun atomize_term thy = MetaSimplifier.rewrite_term thy inductive_atomize [];
+fun atomize_term thy = Raw_Simplifier.rewrite_term thy inductive_atomize [];
 
 in