# HG changeset patch
# User wenzelm
# Date 1223579168 -7200
# Node ID 85d2972fe9e6aced32bd2a7abd9c5d355ad1f999
# Parent  d59712ee942cf7dee0581e4f2e57170fe1e6a929
fixed spelling;

diff -r d59712ee942c -r 85d2972fe9e6 src/Pure/Concurrent/par_list_dummy.ML
--- 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;