1.1 --- a/src/Tools/isac/Test_Code/test-code.sml	Sun Oct 09 09:01:29 2022 +0200
     1.2 +++ b/src/Tools/isac/Test_Code/test-code.sml	Wed Oct 19 10:43:04 2022 +0200
     1.3 @@ -86,7 +86,7 @@
     1.4    	    | ("failure", _) => raise ERROR "sys-raise ERROR by Step.do_next"
     1.5    	    | _ => raise ERROR  "me: uncovered case Step.do_next")
     1.6    	  val tac = 
     1.7 -        case ts of 
     1.8 +        case ts of
     1.9            tacis as (_::_) => let val (tac, _, _) = last_elem tacis in tac end 
    1.10    		  | _ => if p = ([], Pos.Res) then Tactic.End_Proof' else Tactic.Empty_Tac;
    1.11      in