# HG changeset patch
# User wenzelm
# Date 1288295494 -7200
# Node ID 7ed03c0ae420ce8b3631dff80787c8fdf882d103
# Parent  997d6fb439a9e5a9ae82f6ace3317fa04c367c9a
tuned white-space;

diff -r 997d6fb439a9 -r 7ed03c0ae420 src/Pure/Concurrent/simple_thread.ML
--- a/src/Pure/Concurrent/simple_thread.ML	Thu Oct 28 17:54:25 2010 +0200
+++ b/src/Pure/Concurrent/simple_thread.ML	Thu Oct 28 21:51:34 2010 +0200
@@ -32,21 +32,21 @@
 fun synchronized name lock e =
   if Multithreading.available then
     Exn.release (uninterruptible (fn restore_attributes => fn () =>
-    let
-      val immediate =
-        if Mutex.trylock lock then true
-        else
-          let
-            val _ = Multithreading.tracing 5 (fn () => name ^ ": locking ...");
-            val time = Multithreading.real_time Mutex.lock lock;
-            val _ = Multithreading.tracing_time true time
-              (fn () => name ^ ": locked after " ^ Time.toString time);
-          in false end;
-      val result = Exn.capture (restore_attributes e) ();
-      val _ =
-        if immediate then () else Multithreading.tracing 5 (fn () => name ^ ": unlocking ...");
-      val _ = Mutex.unlock lock;
-    in result end) ())
+      let
+        val immediate =
+          if Mutex.trylock lock then true
+          else
+            let
+              val _ = Multithreading.tracing 5 (fn () => name ^ ": locking ...");
+              val time = Multithreading.real_time Mutex.lock lock;
+              val _ = Multithreading.tracing_time true time
+                (fn () => name ^ ": locked after " ^ Time.toString time);
+            in false end;
+        val result = Exn.capture (restore_attributes e) ();
+        val _ =
+          if immediate then () else Multithreading.tracing 5 (fn () => name ^ ": unlocking ...");
+        val _ = Mutex.unlock lock;
+      in result end) ())
   else e ();
 
 end;