1.1 --- a/test/Tools/isac/ME/calchead.sml	Tue Aug 17 09:05:51 2010 +0200
     1.2 +++ b/test/Tools/isac/ME/calchead.sml	Wed Aug 18 13:40:09 2010 +0200
     1.3 @@ -210,7 +210,7 @@
     1.4  
     1.5  (*val nxt = Specify_Theory "DiffApp.thy" : tac*)
     1.6  
     1.7 -val itms = get_obj g_pbl pt (fst p);writeln(itms2str thy itms);
     1.8 +val itms = get_obj g_pbl pt (fst p);writeln(itms2str_ ctxt itms);
     1.9  
    1.10  val nxt = tac2tac_ pt p nxt; 
    1.11  val(p,_,Form'(PpcKF(_,_,_,_,ppc)),nxt,_,pt) = specify nxt p [] pt;