1.1 --- a/src/sml/kbtest/rlang.sml	Thu May 29 15:13:52 2003 +0200
     1.2 +++ b/src/sml/kbtest/rlang.sml	Thu May 29 15:20:12 2003 +0200
     1.3 @@ -1199,7 +1199,7 @@
     1.4  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;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;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
     1.7 -val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
     1.8 +val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
     1.9  case f of Form' (FormKF (~1,EdUndef,0,Nundef,"[x = 5, x = -5]")) => ()
    1.10  	 | _ => raise error "rlang.sml: diff.behav. in  Schalk II s.66 Bsp 20a [x = 5, x = -5]";
    1.11