1.1 --- a/test/Tools/isac/Knowledge/partial_fractions.sml	Thu Oct 13 10:38:20 2011 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/partial_fractions.sml	Thu Oct 13 10:50:20 2011 +0200
     1.3 @@ -49,4 +49,20 @@
     1.4  "----------- why not nxt = Model_Problem here ? ---------";
     1.5  "----------- why not nxt = Model_Problem here ? ---------";
     1.6  "----------- why not nxt = Model_Problem here ? ---------";
     1.7 +val (p,_,f,nxt,_,pt) = me nxt''' p''' [] pt'''; 
     1.8 +"~~~~~ fun me, args:"; val (((_,tac):tac'_), (p:pos'), _, (pt:ptree)) = (nxt, p, c, pt);
     1.9 +val ("ok", (_, _, ptp)) = locatetac tac (pt,p);
    1.10 +val (pt, p) = ptp;
    1.11 +"~~~~~ fun step, args:"; val (((ip as (_,p_)):pos'), ((ptp as (pt,p), tacis):calcstate)) =
    1.12 +                           (p, ((pt, e_pos'),[]));
    1.13 +val pIopt = get_pblID (pt,ip);
    1.14 +ip = ([],Res); " = false";
    1.15 +tacis; " = []";                                         
    1.16 +pIopt (* = SOME ["inverse", "Z_Transform", "SignalProcessing"]*);
    1.17 +member op = [Pbl,Met] p_ andalso is_none (get_obj g_env pt (fst p)); " = false";
    1.18 +(*                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ leads into
    1.19 +nxt_solve_, which is definitely WRONG (should be nxt_specify_ for FIND_ADD).
    1.20 +This ERROR seems to be introduced together with ctxt, concerns Apply_Method without init_form.
    1.21 +See TODO.txt
    1.22 +*)
    1.23