1.1 --- a/src/Tools/isac/MathEngBasic/tactic.sml	Thu Apr 29 11:36:11 2021 +0200
     1.2 +++ b/src/Tools/isac/MathEngBasic/tactic.sml	Thu Apr 29 12:43:50 2021 +0200
     1.3 @@ -168,8 +168,7 @@
     1.4  
     1.5    | Empty_Tac               => "Empty_Tac"
     1.6  (*RM*)| Tac string              => "Tac " ^ string(*RM*)
     1.7 -  | End_Proof'              => "input End_Proof'"
     1.8 -  | _                       => "input_to_string not impl. for ?!";
     1.9 +  | End_Proof'              => "input End_Proof'";
    1.10  
    1.11  fun tac2IDstr ma = case ma of
    1.12      Model_Problem => "Model_Problem"