src/HOL/Tools/async_manager.ML
changeset 40301 bf39a257b3d3
parent 40132 7ee65dbffa31
     1.1 --- a/src/HOL/Tools/async_manager.ML	Tue Nov 02 20:31:46 2010 +0100
     1.2 +++ b/src/HOL/Tools/async_manager.ML	Tue Nov 02 20:55:12 2010 +0100
     1.3 @@ -80,8 +80,8 @@
     1.4  
     1.5  (* main manager thread -- only one may exist *)
     1.6  
     1.7 -val min_wait_time = Time.fromMilliseconds 300;
     1.8 -val max_wait_time = Time.fromSeconds 10;
     1.9 +val min_wait_time = seconds 0.3;
    1.10 +val max_wait_time = seconds 10.0;
    1.11  
    1.12  fun replace_all bef aft =
    1.13    let