1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Mon Jun 20 11:55:55 2022 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Mon Jun 20 18:37:54 2022 +0200
     1.3 @@ -1232,7 +1232,7 @@
     1.4              [Free ("x", _) $ _]
     1.5            )
     1.6         ],_
     1.7 -      ) = O_Model.init fmz thy ((#ppc o Problem.from_store) pI);
     1.8 +      ) = O_Model.init thy fmz ((#ppc o Problem.from_store) pI);
     1.9  
    1.10    val Prog sc 
    1.11      = (#scr o MethodC.from_store) ["SignalProcessing",