1.1 --- a/src/Tools/isac/Interpret/solve-step.sml	Mon May 11 11:22:46 2020 +0200
     1.2 +++ b/src/Tools/isac/Interpret/solve-step.sml	Mon May 11 11:38:52 2020 +0200
     1.3 @@ -42,7 +42,7 @@
     1.4      (rew_ord', erls, ca)
     1.5    | rew_info (Rule_Set.Rrls {erls, rew_ord = (rew_ord', _), calc = ca, ...}) =
     1.6      (rew_ord', erls, ca)
     1.7 -  | rew_info rls = error ("rew_info called with '" ^ Rule_Set.id rls ^ "'");
     1.8 +  | rew_info rls = raise ERROR ("rew_info called with '" ^ Rule_Set.id rls ^ "'");
     1.9  
    1.10  fun get_ruleset _ p pt = 
    1.11    let 
    1.12 @@ -369,7 +369,7 @@
    1.13    let  
    1.14      val p = case p_ of
    1.15        Pos.Frm => p | Pos.Res => Pos.lev_on p
    1.16 -    | _ => error ("generate_hard: call by " ^ Pos.pos'2str (p,p_))
    1.17 +    | _ => raise ERROR ("generate_hard: call by " ^ Pos.pos'2str (p,p_))
    1.18    in
    1.19      add_general m' (Istate_Def.empty, ContextC.empty) (pt, (p, p_))
    1.20    end