Tone down wording
authorunknown <simonpj@.europe.corp.microsoft.com>
Wed, 9 Jun 2010 17:38:20 +0000 (18:38 +0100)
committerunknown <simonpj@.europe.corp.microsoft.com>
Wed, 9 Jun 2010 17:38:20 +0000 (18:38 +0100)
paper/dfopt.tex

index 6ebc778..127eec7 100644 (file)
@@ -2513,7 +2513,7 @@ The @fixpoint@ function
 iterates over the list of blocks until the Current @FactBase@ reaches
 a fixed point.  
 
-The code for @fixpoint@ is a massive 70 lines long;
+The code for @fixpoint@ is about 70 lines long;
 for completeness, it
 appears in Appendix~\ref{app:fixpoint}.  
 The~code is mostly straightforward, although we try to be clever