1.1 --- a/test/Tools/isac/Knowledge/polyminus.sml	Sun Jul 31 13:45:20 2022 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyminus.sml	Sun Jul 31 16:35:33 2022 +0200
     1.3 @@ -666,7 +666,7 @@
     1.4  "--- does the predicate evaluate correctly ?";
     1.5  val t = TermC.str2term 
     1.6  	    "matchsub (?a * (?b - ?c)) (8 * (a - q) + a - 2 * q + 3 * (a - 2 * (q::real)))";
     1.7 -val ma = eval_matchsub "" "Prog_Expr.matchsub" t thy;
     1.8 +val ma = eval_matchsub "" "Prog_Expr.matchsub" t ctxt;
     1.9  case ma of
    1.10      SOME ("matchsub (?a * (?b - ?c)) (8 * (a - q) + \
    1.11  	  \a - 2 * q + 3 * (a - 2 * q)) = True", _) => ()