1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Fri May 15 11:46:43 2020 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Fri May 15 14:22:05 2020 +0200
     1.3 @@ -266,7 +266,7 @@
     1.4  text \<open>\noindent Check if the given equation matches the specification of this
     1.5          equation type.\<close>
     1.6  ML \<open>
     1.7 -  Model.match_pbl fmz (Problem.from_store ["univariate","equation"]);
     1.8 +  M_Match.match_pbl fmz (Problem.from_store ["univariate","equation"]);
     1.9  \<close>
    1.10  
    1.11  text\<open>\noindent We switch up to the {\sisac} Context and try to solve the 
    1.12 @@ -290,7 +290,7 @@
    1.13          specification of this equation type.\<close>
    1.14          
    1.15  ML \<open>
    1.16 -  Model.match_pbl fmz (Problem.from_store
    1.17 +  M_Match.match_pbl fmz (Problem.from_store
    1.18      ["abcFormula","degree_2","polynomial","univariate","equation"]);
    1.19  \<close>
    1.20