1.1 --- a/test/Tools/isac/IsacKnowledge/poly.sml	Tue Aug 17 09:05:51 2010 +0200
     1.2 +++ b/test/Tools/isac/IsacKnowledge/poly.sml	Wed Aug 18 13:40:09 2010 +0200
     1.3 @@ -356,7 +356,7 @@
     1.4  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
     1.5  val (p,_,f,nxt,_,pt) = me nxt p c pt;
     1.6  val (p,_,f,nxt,_,pt) = me nxt p c pt;
     1.7 -(writeln o (itms2str thy)) (get_obj g_pbl pt (fst p));
     1.8 +(writeln o (itms2str_ ctxt)) (get_obj g_pbl pt (fst p));
     1.9  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.10  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.11  val (p,_,f,nxt,_,pt) = me nxt p c pt;