1.1 --- a/test/Tools/isac/OLDTESTS/script_if.sml	Tue May 12 16:22:00 2020 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/script_if.sml	Tue May 12 17:42:29 2020 +0200
     1.3 @@ -65,7 +65,7 @@
     1.4          [("Test","methode")])]
     1.5    thy;
     1.6  
     1.7 -match_pbl ["equality (sqrt(x)=1)","solveFor x","solutions L"] (get_pbt ["rootX","univariate","equation","test"]); 
     1.8 +match_pbl ["equality (sqrt(x)=1)","solveFor x","solutions L"] (Problem.from_store ["rootX","univariate","equation","test"]); 
     1.9  
    1.10  KEStore_Elems.add_pbts
    1.11    [prep_pbt (theory "Isac_Knowledge")