1.1 --- a/test/Tools/isac/BaseDefinitions/substitution.sml	Sun Oct 09 06:53:03 2022 +0200
     1.2 +++ b/test/Tools/isac/BaseDefinitions/substitution.sml	Sun Oct 09 07:44:22 2022 +0200
     1.3 @@ -101,7 +101,7 @@
     1.4  Subst.program_to_input: Subst.program -> string list;
     1.5  
     1.6  val {scr = Prog prog, ...} = MethodC.from_store ctxt ["diff", "differentiate_on_R"];
     1.7 -val env = [(TermC.str2term "v_v", TermC.str2term "x")] : Subst.T;
     1.8 +val env = [(TermC.parse_test @{context} "v_v", TermC.parse_test @{context} "x")] : Subst.T;
     1.9  
    1.10  "~~~~~ fun for_bdv, args:"; val (prog, env) = (prog, env);
    1.11      fun scan (Const _) = NONE