1.1 --- a/test/Tools/isac/Minisubpbl/700-interSteps.sml	Sat Dec 03 19:12:38 2022 +0100
     1.2 +++ b/test/Tools/isac/Minisubpbl/700-interSteps.sml	Sun Dec 04 16:48:06 2022 +0100
     1.3 @@ -153,7 +153,7 @@
     1.4  Test_Tool.show_pt pt;                  (* added ([3,1,1], Frm), ([3,1,1], Res) after ([3,1], Frm)*)
     1.5  
     1.6  (*---------- final test ----------------------------------------------------------\\*)
     1.7 -if pr_ctree pr_short pt =
     1.8 +if pr_ctree ctxt pr_short pt =
     1.9    ".    ----- pblobj -----\n1" ^
    1.10    ".   x + 1 = 2\n" ^
    1.11    "2.   x + 1 + - 1 * 2 = 0\n" ^