1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Mon May 11 18:06:24 2020 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Mon May 11 20:49:27 2020 +0200
     1.3 @@ -900,7 +900,7 @@
     1.4          NONE,
     1.5          [["SignalProcessing","Z_Transform","Inverse"]])]\<close>
     1.6  ML \<open>
     1.7 -  show_ptyps ();
     1.8 +  Specify.show_ptyps() ();
     1.9    get_pbt ["Inverse","Z_Transform","SignalProcessing"];
    1.10  \<close>
    1.11