1.1 --- a/test/Tools/isac/Interpret/mathengine.sml	Sat Jun 01 11:09:19 2019 +0200
     1.2 +++ b/test/Tools/isac/Interpret/mathengine.sml	Sat Jun 22 13:15:52 2019 +0200
     1.3 @@ -527,7 +527,7 @@
     1.4  val SOME t = parseNEW ctxt "filterExpression (X  = 3 / (z - 1/4 + -1/8 * (1/(z::real))))";
     1.5  val SOME t = parseNEW ctxt "stepResponse (x[n::real]::bool)";
     1.6  
     1.7 -val fmz = ["filterExpression (X  = 3 / (z - 1/4 + -1/8 * (1/(z::real))))", 
     1.8 +val fmz = ["filterExpression (X  = 3 / (z - 1/4 + -1/8 * (1/(z::real))))", "boundVariable z",
     1.9    "stepResponse (x[n::real]::bool)"];
    1.10  val (dI,pI,mI) = ("Isac", ["Inverse", "Z_Transform", "SignalProcessing"], 
    1.11    ["SignalProcessing","Z_Transform","Inverse"]);