changeset 52101 | c3f399ce32af |
parent 48763 | 9b9936d79dbe |
child 52105 | 2786cc9704c8 |
1.1 --- a/test/Tools/isac/Knowledge/rlang.sml Mon Sep 02 15:17:34 2013 +0200 1.2 +++ b/test/Tools/isac/Knowledge/rlang.sml Mon Sep 02 16:16:08 2013 +0200 1.3 @@ -1457,7 +1457,7 @@ 1.4 1.5 1.6 val t = str2term"(a + b * x) / (a + -1 * (b * x)) + -1 * (a + -1 * (b * x)) / (a + b * x) =\n4 * a * b / (a ^^^ 2 + -1 * b ^^^ 2)"; 1.7 -trace_rewrite:=true; 1.8 +trace_rewrite := false; 1.9 val SOME (t',asm) = rewrite_set_ thy false norm_Rational t; 1.10 term2str t'; 1.11 trace_rewrite:=false;