1.1 --- a/test/Tools/isac/Knowledge/polyeq-1.sml	Fri Sep 16 12:13:23 2022 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyeq-1.sml	Mon Sep 26 10:57:53 2022 +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 \<up> 2 = 0)", "solveFor x", "solutions L"];
     1.7 -if M_Match.match_pbl fmz (Problem.from_store ["expanded", "univariate", "equation"]) =
     1.8 +if M_Match.match_pbl fmz (Problem.from_store_PIDE @{context} ["expanded", "univariate", "equation"]) =
     1.9    M_Match.Matches' {Find = [Correct "solutions L"], 
    1.10              With = [], 
    1.11              Given = [Correct "equality (- 8 - 2 * x + x \<up> 2 = 0)", Correct "solveFor x"], 
    1.12 @@ -118,7 +118,7 @@
    1.13              Relate = []}
    1.14  then () else error "M_Match.match_pbl [expanded,univariate,equation]";
    1.15  
    1.16 -if M_Match.match_pbl fmz (Problem.from_store ["degree_2", "expanded", "univariate", "equation"]) =
    1.17 +if M_Match.match_pbl fmz (Problem.from_store_PIDE @{context} ["degree_2", "expanded", "univariate", "equation"]) =
    1.18    M_Match.Matches' {Find = [Correct "solutions L"], 
    1.19              With = [], 
    1.20              Given = [Correct "equality (- 8 - 2 * x + x \<up> 2 = 0)", Correct "solveFor x"],