1.1 --- a/src/Tools/isac/Test_Code/test-code.sml	Tue Mar 31 14:05:10 2020 +0200
     1.2 +++ b/src/Tools/isac/Test_Code/test-code.sml	Tue Mar 31 15:43:33 2020 +0200
     1.3 @@ -99,7 +99,7 @@
     1.4    | quiet _ = false
     1.5  
     1.6  fun mk_string (ist, ctxt) =
     1.7 -  ("(" ^ Istate.istate2str' ist ^ ",\n" 
     1.8 +  ("(" ^ Istate.string_of' ist ^ ",\n" 
     1.9    ^ "... ctxt:    " ^ (ctxt |> ContextC.get_assumptions |> Rule.terms2str) ^ ")")
    1.10  
    1.11  fun trace_ist_ctxt (EmptyPtree , ([], Pos.Und)) _ = ()