1.1 --- a/test/Tools/isac/Minisubpbl/490-nxt-Check_Postcond.sml	Tue Oct 18 12:05:03 2016 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/490-nxt-Check_Postcond.sml	Thu Oct 20 10:26:29 2016 +0200
     1.3 @@ -79,6 +79,6 @@
     1.4  (*----------------------------------------############### changed*)
     1.5  
     1.6  val (p,_,f,nxt,_,pt) = me nxt p'''' [] pt''''; (*nxt = Check_Postcond ["LINEAR","uval (srls, is, sc) = from_pblobj_or_detail' thy' (p,p_) pt; (*is: which ctxt?*)nivariate", ...]) *);
     1.7 -if nxt = ("Check_Postcond", Check_Postcond ["LINEAR", "univariate", "equation", "test"])
     1.8 -then () else error "450-nxt-Check_Postcond broken"
     1.9 +case nxt of ("Check_Postcond", Check_Postcond ["LINEAR", "univariate", "equation", "test"]) => ()
    1.10 +| _ => error "450-nxt-Check_Postcond broken"
    1.11