# HG changeset patch
# User wenzelm
# Date 1303470467 -7200
# Node ID 12a752aeee98b7e3f6ec6a50ccfd2a682cc0c01d
# Parent  cd5005020f4efe76e7d8eb1bd92bdc5848704620
tuned signature;

diff -r cd5005020f4e -r 12a752aeee98 src/Pure/raw_simplifier.ML
--- a/src/Pure/raw_simplifier.ML	Fri Apr 22 12:46:48 2011 +0200
+++ b/src/Pure/raw_simplifier.ML	Fri Apr 22 13:07:47 2011 +0200
@@ -116,7 +116,7 @@
   val inherit_context: simpset -> simpset -> simpset
   val the_context: simpset -> Proof.context
   val context: Proof.context -> simpset -> simpset
-  val global_context: theory  -> simpset -> simpset
+  val global_context: theory -> simpset -> simpset
   val with_context: Proof.context -> (simpset -> simpset) -> simpset -> simpset
   val debug_bounds: bool Unsynchronized.ref
   val set_reorient: (theory -> term list -> term -> term -> bool) -> simpset -> simpset