1.1 --- a/test/Tools/isac/OLDTESTS/script_if.sml	Fri May 15 11:46:43 2020 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/script_if.sml	Fri May 15 14:22:05 2020 +0200
     1.3 @@ -65,7 +65,7 @@
     1.4          [("Test","methode")])]
     1.5    thy;
     1.6  
     1.7 -Model.match_pbl ["equality (sqrt(x)=1)","solveFor x","solutions L"] (Problem.from_store ["rootX","univariate","equation","test"]); 
     1.8 +M_Match.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    [Problem.prep_input (theory "Isac_Knowledge")