1.1 --- a/src/Tools/isac/Test_Code/test-code.sml	Thu Apr 09 12:03:14 2020 +0200
     1.2 +++ b/src/Tools/isac/Test_Code/test-code.sml	Thu Apr 09 17:13:17 2020 +0200
     1.3 @@ -35,7 +35,7 @@
     1.4      val (form, _, _) = Chead.pt_extract ptp
     1.5    in
     1.6      case form of
     1.7 -      Ctree.Form t => Generate.FormKF (Rule.term2str t)
     1.8 +      Ctree.Form t => Generate.FormKF (UnparseC.term2str t)
     1.9      | Ctree.ModSpec (_, p_, _, gfr, pre, _) =>
    1.10        Generate.PpcKF (
    1.11          (case p_ of Pos.Pbl => Generate.Problem []
    1.12 @@ -100,7 +100,7 @@
    1.13  
    1.14  fun mk_string (ist, ctxt) =
    1.15    ("(" ^ Istate.string_of' ist ^ ",\n" 
    1.16 -  ^ "... ctxt:    " ^ (ctxt |> ContextC.get_assumptions |> Rule.terms2str) ^ ")")
    1.17 +  ^ "... ctxt:    " ^ (ctxt |> ContextC.get_assumptions |> UnparseC.terms2str) ^ ")")
    1.18  
    1.19  fun trace_ist_ctxt (EmptyPtree , ([], Pos.Und)) _ = ()
    1.20    | trace_ist_ctxt (pt, (p, _)) tac =