1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Thu Sep 26 17:47:10 2019 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Tue Oct 01 10:47:25 2019 +0200
     1.3 @@ -960,7 +960,7 @@
     1.4            errpats = [], nrls = e_rls},
     1.5          "Program InverseZTransform (Xeq::bool) =" ^ (*TODO boundVariable X_z*)
     1.6            " (let X = Take Xeq;" ^
     1.7 -          "      X = Rewrite ruleZY False X" ^
     1.8 +          "      X = Rewrite ruleZY X" ^
     1.9            "  in X)")]
    1.10  \<close>
    1.11