1.1 --- a/test/Tools/isac/Minisubpbl/470-Check_elementwise-NEXT_STEP.sml	Sat Dec 03 19:12:38 2022 +0100
     1.2 +++ b/test/Tools/isac/Minisubpbl/470-Check_elementwise-NEXT_STEP.sml	Sun Dec 04 16:48:06 2022 +0100
     1.3 @@ -33,7 +33,7 @@
     1.4  
     1.5  (*+*)case tac of Rewrite_Set "Test_simplify" => (
     1.6  (*+*)  if p = ([3, 2], Res) then (
     1.7 -(*+*)    if pr_ctree pr_short pt = ".    ----- pblobj -----\n1.   x + 1 = 2\n2.   x + 1 + - 1 * 2 = 0\n3.    ----- pblobj -----\n3.1.   - 1 + x = 0\n3.2.   x = 0 + - 1 * - 1\n"
     1.8 +(*+*)    if pr_ctree ctxt pr_short pt = ".    ----- pblobj -----\n1.   x + 1 = 2\n2.   x + 1 + - 1 * 2 = 0\n3.    ----- pblobj -----\n3.1.   - 1 + x = 0\n3.2.   x = 0 + - 1 * - 1\n"
     1.9  (*+*)    then () else error "470-Check_elementwise-NEXT_STEP: Rewrite_Set changed pt"
    1.10  (*+*)  ) else error "470-Check_elementwise-NEXT_STEP: Rewrite_Set changed p") 
    1.11  (*+*)| _ => error "470-Check_elementwise-NEXT_STEP: Rewrite_Set changed tac";