diff -r 90ea835c07b3 -r f92963a33fe3 test/Tools/isac/BaseDefinitions/calcelems.sml
--- a/test/Tools/isac/BaseDefinitions/calcelems.sml	Sun Oct 09 06:53:03 2022 +0200
+++ b/test/Tools/isac/BaseDefinitions/calcelems.sml	Sun Oct 09 07:44:22 2022 +0200
@@ -154,7 +154,7 @@
 "----------- fun subst2str' --------------------------------------------------------------------";
 "----------- fun subst2str' --------------------------------------------------------------------";
 "----------- fun subst2str' --------------------------------------------------------------------";
-(*> subst2str' [(TermC.str2term "bdv", TermC.str2term "x"),
-		(TermC.str2term "bdv_2", TermC.str2term "y")];
+(*> subst2str' [(TermC.parse_test @{context} "bdv", TermC.parse_test @{context} "x"),
+		(TermC.parse_test @{context} "bdv_2", TermC.parse_test @{context} "y")];
 val it = "[(bdv, x)]" : string
 *)