1.1 --- a/test/Tools/isac/BaseDefinitions/substitution.sml	Sun Oct 09 09:01:29 2022 +0200
     1.2 +++ b/test/Tools/isac/BaseDefinitions/substitution.sml	Wed Oct 19 10:43:04 2022 +0200
     1.3 @@ -83,10 +83,9 @@
     1.4  "-------- fun input_to_terms -------------------------------------------------";
     1.5  "-------- fun input_to_terms -------------------------------------------------";
     1.6  "-------- fun input_to_terms -------------------------------------------------";
     1.7 -Subst.input_to_terms: Subst.input -> term list;
     1.8  val input = ["(''bdv_1'', x)", "(''bdv_2'', y)", "(aaa, bbb + 2)"];
     1.9  
    1.10 -case Subst.input_to_terms input of
    1.11 +case Subst.input_to_terms @{context} input of
    1.12    [Const (\<^const_name>\<open>Pair\<close>, _) $
    1.13      (Const (\<^const_name>\<open>Cons\<close>, _) $ (Const (\<^const_name>\<open>Char\<close>, _) $
    1.14        Const (\<^const_name>\<open>False\<close>, _) $ _ $ _ $ _ $ _ $ _ $ _ $ _) $ _) $