1.1 --- a/src/Tools/isac/Interpret/istate.sml	Tue Mar 31 14:05:10 2020 +0200
     1.2 +++ b/src/Tools/isac/Interpret/istate.sml	Tue Mar 31 15:43:33 2020 +0200
     1.3 @@ -13,8 +13,8 @@
     1.4  
     1.5    datatype T = datatype Istate_Def.T
     1.6    val e_istate: T
     1.7 -  val istate2str: T -> string
     1.8 -  val istate2str': T -> string
     1.9 +  val string_of: T -> string
    1.10 +  val string_of': T -> string
    1.11    val istates2str: T option * T option -> string
    1.12    val the_pstate: T -> pstate
    1.13  
    1.14 @@ -74,8 +74,8 @@
    1.15  fun the_pstate (Pstate pst) = pst
    1.16    | the_pstate _ = raise ERROR ("the_pstate called for RrlsStated")
    1.17  
    1.18 -val istate2str = Istate_Def.istate2str
    1.19 -val istate2str' = Istate_Def.istate2str'
    1.20 +val string_of = Istate_Def.string_of
    1.21 +val string_of' = Istate_Def.string_of'
    1.22  val istates2str = Istate_Def.istates2str
    1.23  
    1.24  fun get_act_env {env, act_arg, ...} = (act_arg, env)