1.1 --- a/test/Tools/isac/Knowledge/polyeq-1.sml	Tue May 12 16:22:00 2020 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyeq-1.sml	Tue May 12 17:42:29 2020 +0200
     1.3 @@ -109,7 +109,7 @@
     1.4  "----------- test matching problems --------------------------0---";
     1.5  "----------- test matching problems --------------------------0---";
     1.6  val fmz = ["equality (-8 - 2*x + x^^^2 = 0)", "solveFor x","solutions L"];
     1.7 -if match_pbl fmz (get_pbt ["expanded","univariate","equation"]) =
     1.8 +if match_pbl fmz (Problem.from_store ["expanded","univariate","equation"]) =
     1.9    Matches' {Find = [Correct "solutions L"], 
    1.10              With = [], 
    1.11              Given = [Correct "equality (-8 - 2 * x + x ^^^ 2 = 0)", Correct "solveFor x"], 
    1.12 @@ -118,7 +118,7 @@
    1.13              Relate = []}
    1.14  then () else error "match_pbl [expanded,univariate,equation]";
    1.15  
    1.16 -if match_pbl fmz (get_pbt ["degree_2","expanded","univariate","equation"]) =
    1.17 +if match_pbl fmz (Problem.from_store ["degree_2","expanded","univariate","equation"]) =
    1.18    Matches' {Find = [Correct "solutions L"], 
    1.19              With = [], 
    1.20              Given = [Correct "equality (-8 - 2 * x + x ^^^ 2 = 0)", Correct "solveFor x"],