1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Fri May 08 11:01:11 2020 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Fri May 08 18:30:21 2020 +0200
     1.3 @@ -1228,7 +1228,7 @@
     1.4              [Free ("x", _) $ _]
     1.5            )
     1.6         ],_
     1.7 -      ) = O_Model.prep_ori fmz thy ((#ppc o get_pbt) pI);
     1.8 +      ) = O_Model.init fmz thy ((#ppc o get_pbt) pI);
     1.9  
    1.10    val Prog sc 
    1.11      = (#scr o get_met) ["SignalProcessing",