# HG changeset patch
# User haftmann
# Date 1276604888 -7200
# Node ID 69ba3f21c2958f8dfcc2db6bb60e71b1486c4544
# Parent  a5d44161ba2abe1ae6f32a12cc1d1c9653bd752f
tuned whitespace

diff -r a5d44161ba2a -r 69ba3f21c295 src/Pure/simplifier.ML
--- a/src/Pure/simplifier.ML	Tue Jun 15 11:38:40 2010 +0200
+++ b/src/Pure/simplifier.ML	Tue Jun 15 14:28:08 2010 +0200
@@ -36,7 +36,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 simproc_i: theory -> string -> term list
     -> (theory -> simpset -> term -> thm option) -> simproc