1.1 --- a/test/Tools/isac/BaseDefinitions/calcelems.sml	Sun Oct 09 06:53:03 2022 +0200
     1.2 +++ b/test/Tools/isac/BaseDefinitions/calcelems.sml	Sun Oct 09 07:44:22 2022 +0200
     1.3 @@ -154,7 +154,7 @@
     1.4  "----------- fun subst2str' --------------------------------------------------------------------";
     1.5  "----------- fun subst2str' --------------------------------------------------------------------";
     1.6  "----------- fun subst2str' --------------------------------------------------------------------";
     1.7 -(*> subst2str' [(TermC.str2term "bdv", TermC.str2term "x"),
     1.8 -		(TermC.str2term "bdv_2", TermC.str2term "y")];
     1.9 +(*> subst2str' [(TermC.parse_test @{context} "bdv", TermC.parse_test @{context} "x"),
    1.10 +		(TermC.parse_test @{context} "bdv_2", TermC.parse_test @{context} "y")];
    1.11  val it = "[(bdv, x)]" : string
    1.12  *)