src/Pure/Concurrent/par_list.ML

--- a/src/Pure/Concurrent/par_list.ML	Thu Sep 25 14:35:03 2008 +0200
+++ b/src/Pure/Concurrent/par_list.ML	Thu Sep 25 14:37:32 2008 +0200
@@ -11,7 +11,7 @@
     time.  The overhead of scheduling is significantly higher than
     just traversing the list of operands sequentially.
 
-  * The order of operator application is non-determined.  Watch out
+  * The order of operator application is non-deterministic.  Watch out
     for operators that have side-effects or raise exceptions!
 *)