1.1 --- a/src/Tools/isac/BaseDefinitions/thy-write.sml	Mon May 11 11:22:46 2020 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/thy-write.sml	Mon May 11 11:38:52 2020 +0200
     1.3 @@ -50,7 +50,7 @@
     1.4  val theID2str = strs2str; (*theID eg. is ["IsacKnowledge", "Test", "Rulesets", "ac_plus_times"]*)
     1.5  fun theID2thyID theID =
     1.6    if length theID >= 3 then (last_elem o (drop_last_n 2)) theID
     1.7 -  else error ("theID2thyID called with " ^ theID2str theID);
     1.8 +  else raise ERROR ("theID2thyID called with " ^ theID2str theID);
     1.9  type authors = string list;
    1.10  (* datatype for collecting thydata for hierarchy *)
    1.11  (*WN060720 more consistent naming would be 'type thyelem' or 'thelem'*)
    1.12 @@ -136,7 +136,7 @@
    1.13  
    1.14  (* TODO
    1.15  fun theID2guh theID = case length theID of
    1.16 -    0 => error ("theID2guh: called with theID = " ^ strs2str' theID)
    1.17 +    0 => raise ERROR ("theID2guh: called with theID = " ^ strs2str' theID)
    1.18    | 1 => part2guh theID
    1.19    | 2 => thy2guh theID
    1.20    | 3 => thypart2guh theID