tuned;

--- a/src/Pure/General/scan.ML	Thu Aug 07 21:07:57 2008 +0200
+++ b/src/Pure/General/scan.ML	Thu Aug 07 21:13:01 2008 +0200
@@ -292,7 +292,7 @@
             SOME (tip, lex) =>
               let val path' = c :: path
               in scan path' (if tip then SOME (path', cs) else res) lex cs end
-          | NONE => finish res)
+          | NONE => finish res);
   in scan [] NONE lexicon end;