1.1 --- a/test/Tools/isac/Knowledge/rateq.sml	Sun Oct 09 06:53:03 2022 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/rateq.sml	Sun Oct 09 07:44:22 2022 +0200
     1.3 @@ -160,7 +160,7 @@
     1.4  val Applicable.Yes (Check_elementwise' (curr_form, pred, (res, asms))) = check p''''' pt''''' m''''';
     1.5  UnparseC.term curr_form = "[x = 1 / 5]";
     1.6  pred = "Assumptions";
     1.7 -res = TermC.str2term "[]::bool list";
     1.8 +res = TermC.parse_test @{context} "[]::bool list";
     1.9  asms = [];
    1.10  
    1.11  val (p,_,f,nxt,_,pt) = me nxt''' p''' [] pt'''; (*<<<----- this caused the error*)