1.1 --- a/test/Tools/isac/Interpret/script.sml	Tue May 17 15:02:43 2011 +0200
     1.2 +++ b/test/Tools/isac/Interpret/script.sml	Tue May 17 17:38:35 2011 +0200
     1.3 @@ -1,10 +1,6 @@
     1.4 -(* tests for ME/script.sml
     1.5 -   TODO.WN0509 collect typical tests from systest here !!!!!
     1.6 -   author: Walther Neuper 050908
     1.7 +(* Title:  test/../script.sml
     1.8 +   Author: Walther Neuper 050908
     1.9     (c) copyright due to lincense terms.
    1.10 -
    1.11 -use"../smltest/ME/script.sml";
    1.12 -use"script.sml";
    1.13  *)
    1.14  "-----------------------------------------------------------------";
    1.15  "table of contents -----------------------------------------------";
    1.16 @@ -307,9 +303,8 @@
    1.17  val (pt, p) = case locatetac tac (pt,p) of
    1.18  	("ok", (_, _, ptp))  => ptp | _ => error "script.sml locatetac";
    1.19  "~~~~~ fun step, args:"; val (ip as (_,p_), (ptp as (pt,p), tacis)) = (p, ((pt, e_pos'), []))
    1.20 -val pIopt = get_pblID (pt,ip);
    1.21 +val pIopt = get_pblID (pt,ip); (*SOME ["linear", "univariate", "equation", "test"]*)
    1.22  tacis; (*= []*)
    1.23 -pIopt; (*= SOME ["sqroot-test", "univariate", ...]*)
    1.24  member op = [Pbl,Met] p_ andalso is_none (get_obj g_env pt (fst p)); (*= false*)
    1.25  "~~~~~ fun nxt_solve_, args:"; val (ptp as (pt, pos as (p, p_))) = (pt, ip);
    1.26                                   (*WAS stac2tac_ TODO: no match for SubProblem*)