src/HOLCF/Tools/cont_proc.ML

--- a/src/HOLCF/Tools/cont_proc.ML	Wed Aug 25 18:19:04 2010 +0200
+++ b/src/HOLCF/Tools/cont_proc.ML	Wed Aug 25 18:36:22 2010 +0200
@@ -128,7 +128,7 @@
     in Option.map fst (Seq.pull (cont_tac 1 tr)) end
 in
   fun cont_proc thy =
-    Simplifier.simproc thy "cont_proc" ["cont f"] solve_cont;
+    Simplifier.simproc_global thy "cont_proc" ["cont f"] solve_cont;
 end;
 
 fun setup thy = Simplifier.map_simpset (fn ss => ss addsimprocs [cont_proc thy]) thy;