changeset 59123 | 5127be395ea1 |
parent 59120 | 0feba60322c9 |
child 59144 | b7d9a69560d2 |
1.1 --- a/test/Tools/isac/Test_Isac.thy Mon May 18 13:22:43 2015 +0200 1.2 +++ b/test/Tools/isac/Test_Isac.thy Mon May 18 14:08:09 2015 +0200 1.3 @@ -44,7 +44,7 @@ 1.4 1.5 ML {* 1.6 KEStore_Elems.set_ref_thy @{theory}; 1.7 - fun autoCalculate' cI auto = autoCalculate cI auto |> Future.join; 1.8 + fun autoCalculate' cI auto = autoCalculate cI auto (*|> Future.join*); 1.9 *} 1.10 1.11 section {* trials with Isabelle's functions *}