src/Pure/Tools/build.ML

         " (undefined " ^ commas conds ^ ")\n")
   end;
 
 fun build args_file =
   let
-    val _ = SHA1_Samples.test ();
+    val _ = SHA1.test_samples ();
 
     val (symbol_codes, (command_timings, (do_output, (verbose, (browser_info,
           (document_files, (graph_file, (parent_name, (chapter, (name, theories)))))))))) =
       File.read (Path.explode args_file) |> YXML.parse_body |>
         let open XML.Decode in