src/Tools/Code/code_simp.ML

--- a/src/Tools/Code/code_simp.ML	Fri Dec 17 13:12:58 2010 +0100
+++ b/src/Tools/Code/code_simp.ML	Fri Dec 17 13:45:43 2010 +0100
@@ -24,7 +24,7 @@
 (
   type T = simpset;
   val empty = empty_ss;
-  fun extend ss = MetaSimplifier.inherit_context empty_ss ss;
+  fun extend ss = Simplifier.inherit_context empty_ss ss;
   val merge = merge_ss;
 );