1.1 --- a/test/Tools/isac/Knowledge/rateq.sml	Wed Dec 14 09:37:01 2016 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/rateq.sml	Wed Dec 14 10:45:41 2016 +0100
     1.3 @@ -244,7 +244,7 @@
     1.4  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
     1.5  val (p,_,f,nxt,_,pt) = me nxt p [1] pt; val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
     1.6  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
     1.7 -case  f of Form' (FormKF (~1, EdUndef, 0, Nundef, "-6 * x + 5 * x ^^^ 2 = 0")) => ()
     1.8 +case  f of FormKF "-6 * x + 5 * x ^^^ 2 = 0" => ()
     1.9  | _ => error "rlang.sml: diff.behav. in Schalk I s.87 Bsp 55b";
    1.10  val (p,_,f,nxt,_,pt) = me nxt p [1] pt; val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.11  val (p,_,f,nxt,_,pt) = me nxt p [1] pt; val (p,_,f,nxt,_,pt) = me nxt p [1] pt;