1.1 --- a/test/Tools/isac/Interpret/ctree.sml	Wed Dec 14 09:37:01 2016 +0100
     1.2 +++ b/test/Tools/isac/Interpret/ctree.sml	Wed Dec 14 10:45:41 2016 +0100
     1.3 @@ -131,7 +131,7 @@
     1.4  val (p,_,f,nxt,_,pt) = me nxt p [1] pt(*.append_result: pos =[3]*);
     1.5  val (p,_,f,nxt,_,pt) = me nxt p [1] pt(*cappend_atomic: pos =[4]*);
     1.6  val (p,_,f,nxt,_,pt) = me nxt p [1] pt(*.append_result: pos =[]*);
     1.7 -val Form' (FormKF (~1,EdUndef,0,Nundef,res)) = f;
     1.8 +val FormKF res = f;
     1.9  if res = "[x = 1]"
    1.10  then case nxt of ("End_Proof'", End_Proof') => ()
    1.11    | _ => error "new behaviour in test: miniscript with mini-subpbl 1"