1.1 --- a/src/Tools/isac/MathEngBasic/method.sml	Sun Jul 31 12:39:07 2022 +0200
     1.2 +++ b/src/Tools/isac/MathEngBasic/method.sml	Sun Jul 31 13:23:38 2022 +0200
     1.3 @@ -136,7 +136,7 @@
     1.4                NONE => @{thm refl}
     1.5              | SOME a => Global_Theory.get_thm thy (Global_Theory.check_fact thy a));
     1.6            val arg = prep_input thy name maa id_empty (metID, model_input, input, thm);
     1.7 -        in KEStore_Elems.add_mets [arg] thy end)))
     1.8 +        in KEStore_Elems.add_mets @{context} [arg] thy end)))
     1.9  
    1.10  in end;
    1.11