1.1 --- a/test/Tools/isac/Interpret/ptyps.sml	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/test/Tools/isac/Interpret/ptyps.sml	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -145,7 +145,7 @@
     1.4  (*case 4: refined to children (without child)*)
     1.5  val opt = refine_ori ori4 ["pbla"];
     1.6  if opt = SOME ["pbla2y","pbla2","pbla"] then ()
     1.7 -else raise error "new behaviour in refine.sml case 4";
     1.8 +else error "new behaviour in refine.sml case 4";
     1.9  
    1.10  (*case 5: start refinement somewhere in ptyps*)
    1.11  refine_ori ori4 ["pbla2","pbla"];
    1.12 @@ -419,7 +419,7 @@
    1.13  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.14  val Form' (FormKF (~1,EdUndef,_,Nundef,res)) = f;
    1.15  if (snd nxt)=End_Proof' andalso res="[x = 2]" then ()
    1.16 -else raise error "new behaviour in test:refine.sml:miniscript with mini-subpb";
    1.17 +else error "new behaviour in test:refine.sml:miniscript with mini-subpb";
    1.18  
    1.19  
    1.20  "----------- fun coll_guhs ---------------------------------------";