1.1 --- a/src/Tools/isac/MathEngBasic/method.sml	Fri Aug 05 08:45:37 2022 +0200
     1.2 +++ b/src/Tools/isac/MathEngBasic/method.sml	Fri Aug 05 11:38:10 2022 +0200
     1.3 @@ -143,7 +143,14 @@
     1.4  (** get MethodC from Store **)
     1.5  
     1.6  (* TODO: throws exn 'get_pbt not found: ' ... confusing !! take 'ketype' as an argument *)
     1.7 -fun from_store metID = Store.get (get_mets ()) metID metID;
     1.8 -fun from_store' thy metID = Store.get (KEStore_Elems.get_mets thy) metID metID;
     1.9 +fun from_store id =
    1.10 +  (Store.get (get_mets ()) id id)
    1.11 +    handle ERROR _ =>
    1.12 +      raise error ("*** ERROR MethodC.from_store " ^ strs2str id ^ " not found");
    1.13 +
    1.14 +fun from_store' thy id =
    1.15 +  (Store.get (KEStore_Elems.get_mets thy) id id)
    1.16 +    handle ERROR _ =>
    1.17 +      raise error ("*** ERROR MethodC.from_store thy " ^ strs2str id ^ " not found");
    1.18  
    1.19  (**)end(**)