src/Provers/clasimp.ML
changeset 22095 07875394618e
parent 21963 416a5338d2bb
child 26425 6561665c5cb1
--- a/src/Provers/clasimp.ML	Fri Jan 19 22:08:01 2007 +0100
+++ b/src/Provers/clasimp.ML	Fri Jan 19 22:08:02 2007 +0100
@@ -81,7 +81,7 @@
     Simplifier.change_simpset_of thy (fn _ => ss')
   end;
 
-fun change_clasimpset f = change_clasimpset_of (Context.the_context ()) f;
+fun change_clasimpset f = change_clasimpset_of (ML_Context.the_context ()) f;
 fun clasimpset () = (Classical.claset (), Simplifier.simpset ());