1.1 --- a/src/Tools/isac/BridgeLibisabelle/present-tool.sml	Tue Apr 27 18:14:02 2021 +0200
     1.2 +++ b/src/Tools/isac/BridgeLibisabelle/present-tool.sml	Tue Apr 27 19:52:29 2021 +0200
     1.3 @@ -75,9 +75,9 @@
     1.4  (* make a guh from a reference to an element in the kestore;
     1.5     EXCEPT theory hierarchy ... compare 'fun keref2xml'    *)
     1.6  fun pblID2guh pblID = (((#guh o Problem.from_store) pblID)
     1.7 -  handle _ => raise ERROR ("Ptool.pblID2guh: not for \"" ^ strs2str' pblID ^ "\""));
     1.8 +  handle ERROR _ => raise ERROR ("Ptool.pblID2guh: not for \"" ^ strs2str' pblID ^ "\""));
     1.9  fun metID2guh metID = (((#guh o MethodC.from_store) metID)
    1.10 -  handle _ => raise ERROR ("metID2guh: no 'Met_' for \"" ^ strs2str' metID ^ "\""));
    1.11 +  handle ERROR _ => raise ERROR ("metID2guh: no 'Met_' for \"" ^ strs2str' metID ^ "\""));
    1.12  fun kestoreID2guh Pbl_ kestoreID = pblID2guh kestoreID
    1.13    | kestoreID2guh Met_ kestoreID = metID2guh kestoreID
    1.14    | kestoreID2guh ketyp kestoreID =