1.1 --- a/src/Tools/isac/MathEngBasic/istate-def.sml	Tue Jan 10 10:01:05 2023 +0100
     1.2 +++ b/src/Tools/isac/MathEngBasic/istate-def.sml	Tue Jan 10 17:07:53 2023 +0100
     1.3 @@ -86,14 +86,14 @@
     1.4  val empty = Pstate e_pstate;
     1.5  
     1.6  fun rta2str ctxt (r, (t, a)) =
     1.7 -  "\n(" ^ Rule.to_string_PIDE ctxt r ^ ", (" ^ UnparseC.term_in_ctxt ctxt t ^ ", " ^
     1.8 +  "\n(" ^ Rule.to_string ctxt r ^ ", (" ^ UnparseC.term_in_ctxt ctxt t ^ ", " ^
     1.9    UnparseC.terms_in_ctxt ctxt a ^ "))";
    1.10  fun string_of _ Uistate = "Uistate"
    1.11    | string_of _ (Pstate pst) = 
    1.12      "Pstate " ^ pstate2str pst   
    1.13    | string_of ctxt (RrlsState (t, t1, rss, rtas)) =
    1.14      "RrlsState (" ^ UnparseC.term t ^ ", " ^ UnparseC.term_in_ctxt ctxt t1 ^ ", " ^
    1.15 -    (strs2str o (map (strs2str o (map (Rule.to_string_PIDE ctxt))))) rss ^ ", " ^
    1.16 +    (strs2str o (map (strs2str o (map (Rule.to_string ctxt))))) rss ^ ", " ^
    1.17      (strs2str o (map (rta2str ctxt))) rtas ^ ")";
    1.18  fun string_of' Uistate = "Uistate"
    1.19    | string_of' (Pstate pst) =