
diff -r d7de83147df1 -r 3d1c6f17edac test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy
--- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Fri May 08 11:01:11 2020 +0200
+++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Fri May 08 18:30:21 2020 +0200
@@ -1228,7 +1228,7 @@
             [Free ("x", _) $ _]
           )
        ],_
-      ) = O_Model.prep_ori fmz thy ((#ppc o get_pbt) pI);
+      ) = O_Model.init fmz thy ((#ppc o get_pbt) pI);
 
   val Prog sc 
     = (#scr o get_met) ["SignalProcessing",




