changeset 55402 | d580d7fc9b8e |
parent 52105 | 2786cc9704c8 |
child 55445 | 33b0f6db720c |
1.1 --- a/test/Tools/isac/Knowledge/simplify.sml Sat Mar 08 11:07:52 2014 +0100 1.2 +++ b/test/Tools/isac/Knowledge/simplify.sml Mon Mar 10 21:07:35 2014 +0100 1.3 @@ -59,7 +59,7 @@ 1.4 (([], Frm), Simplify (14 * x * y / (x * y))), 1.5 (([1], Frm), 14 * x * y / (x * y))] *) 1.6 1.7 -appendFormula 1 "14"; 1.8 +appendFormula 1 "14" |> Future.join; 1.9 val ((pt,p),_) = get_calc 1; show_pt pt; 1.10 (*[ 1.11 (([], Frm), Simplify (14 * x * y / (x * y))),