1.1 --- a/test/Tools/isac/Knowledge/rational.sml	Sun Oct 14 14:43:41 2012 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/rational.sml	Sun Oct 14 20:00:27 2012 +0200
     1.3 @@ -959,7 +959,7 @@
     1.4             (make_polynomial enth"alt zu viele rules)
     1.5  WN060823 'init_state' requires rewriting on specified location in the term
     1.6  print_depth 99; Rfuns; print_depth 3;
     1.7 -WN060831 cycling "sym_order_mult_rls_" "sym_real_mult_assoc"
     1.8 +WN060831 cycling "sym_order_mult_rls_" "sym_mult_assoc"
     1.9           as was with make_polynomial before ?!?*)
    1.10  
    1.11  val SOME r = nex revsets t;