1.1 --- a/test/Tools/isac/Knowledge/polyeq-1.sml	Mon Apr 19 19:55:31 2021 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyeq-1.sml	Mon Apr 19 20:12:53 2021 +0200
     1.3 @@ -113,7 +113,7 @@
     1.4    M_Match.Matches' {Find = [Correct "solutions L"], 
     1.5              With = [], 
     1.6              Given = [Correct "equality (-8 - 2 * x + x ^^^ 2 = 0)", Correct "solveFor x"], 
     1.7 -            Where = [Correct "TermC.matches (?a = 0) (-8 - 2 * x + x ^^^ 2 = 0)", 
     1.8 +            Where = [Correct "matches (?a = 0) (-8 - 2 * x + x ^^^ 2 = 0)", 
     1.9                       Correct "lhs (-8 - 2 * x + x ^^^ 2 = 0) is_expanded_in x"], 
    1.10              Relate = []}
    1.11  then () else error "M_Match.match_pbl [expanded,univariate,equation]";