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