src/Provers/clasimp.ML
changeset 26425 6561665c5cb1
parent 22095 07875394618e
child 26497 1873915c64a9
--- a/src/Provers/clasimp.ML	Thu Mar 27 14:41:09 2008 +0100
+++ b/src/Provers/clasimp.ML	Thu Mar 27 14:41:10 2008 +0100
@@ -81,7 +81,7 @@
     Simplifier.change_simpset_of thy (fn _ => ss')
   end;
 
-fun change_clasimpset f = change_clasimpset_of (ML_Context.the_context ()) f;
+fun change_clasimpset f = change_clasimpset_of (ML_Context.the_global_context ()) f;
 fun clasimpset () = (Classical.claset (), Simplifier.simpset ());