# HG changeset patch
# User haftmann
# Date 1202891732 -3600
# Node ID b2862698dc797701999318e5f616b22926126e6d
# Parent  16f334d7156ab43c606d78ea9347f18487396c68
tuned whitespace

diff -r 16f334d7156a -r b2862698dc79 src/Pure/General/susp.ML
--- a/src/Pure/General/susp.ML	Wed Feb 13 09:35:31 2008 +0100
+++ b/src/Pure/General/susp.ML	Wed Feb 13 09:35:32 2008 +0100
@@ -2,7 +2,7 @@
     ID:         $Id$
     Author:     Sebastian Skalberg and Florian Haftmann, TU Muenchen
 
-Delayed evaluation. Supposed to be value-oriented.
+Delayed evaluation.  Supposed to be value-oriented.
 *)
 
 signature SUSP =