src/Pure/Tools/build.ML
changeset 62666 00aff1da05ae
parent 62630 bc772694cfbd
child 62713 c18a68a3a1f1
     1.1 --- a/src/Pure/Tools/build.ML	Fri Mar 18 16:38:40 2016 +0100
     1.2 +++ b/src/Pure/Tools/build.ML	Fri Mar 18 17:11:30 2016 +0100
     1.3 @@ -122,7 +122,7 @@
     1.4  
     1.5  fun build args_file =
     1.6    let
     1.7 -    val _ = SHA1_Samples.test ();
     1.8 +    val _ = SHA1.test_samples ();
     1.9  
    1.10      val (symbol_codes, (command_timings, (do_output, (verbose, (browser_info,
    1.11            (document_files, (graph_file, (parent_name, (chapter, (name, theories)))))))))) =