changeset 28556 | 85d2972fe9e6 |
parent 28546 | d57bfb44c9e5 |
child 29368 | 503ce3f8f092 |
--- a/src/Pure/Concurrent/par_list_dummy.ML Thu Oct 09 20:53:24 2008 +0200 +++ b/src/Pure/Concurrent/par_list_dummy.ML Thu Oct 09 21:06:08 2008 +0200 @@ -10,7 +10,7 @@ val map = map; val get_some = get_first; -val fins_some = find_first; +val find_some = find_first; val exists = exists; val forall = forall;