1.1 --- a/test/Tools/isac/Frontend/use-cases.sml	Thu Dec 22 14:25:34 2016 +0100
     1.2 +++ b/test/Tools/isac/Frontend/use-cases.sml	Tue Dec 27 13:20:33 2016 +0100
     1.3 @@ -1290,9 +1290,7 @@
     1.4   if map fst (get_interval ([1],Res) ([],Res) 9999 pt) = 
     1.5      [([1], Res), ([2, 1], Frm), ([2, 1], Res), ([2, 2], Res), ([2, 3], Res),
     1.6        ([2, 4], Res), ([2, 5], Res), ([2, 6], Res), ([2, 7], Res),
     1.7 -      ([2, 8], Res), ([2, 9], Res), ([2], Res)
     1.8 -(*WN060727 {cutlevup->test_trans} removed: , 
     1.9 -      ([], Res)(*dropped, if test_trans doesnt stop at PblNd*)*)] then () else
    1.10 +      ([2, 8], Res), ([2, 9], Res), ([2], Res)] then () else
    1.11   error "FE-interface.sml: diff.behav. in FORMULA:replace} other 2";
    1.12  DEconstrCalcTree 1;
    1.13