changeset 59123 | 5127be395ea1 |
parent 55446 | 42c45d1241d7 |
child 59227 | 268363e8f765 |
1.1 --- a/test/Tools/isac/Knowledge/simplify.sml Mon May 18 13:22:43 2015 +0200 1.2 +++ b/test/Tools/isac/Knowledge/simplify.sml Mon May 18 14:08:09 2015 +0200 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" |> Future.join; 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))),