1.1 --- a/test/Tools/isac/Interpret/lucas-interpreter.sml	Tue Feb 04 16:27:54 2020 +0100
     1.2 +++ b/test/Tools/isac/Interpret/lucas-interpreter.sml	Tue Feb 04 16:30:44 2020 +0100
     1.3 @@ -12,7 +12,6 @@
     1.4  "----------- re-build: fun find_next_step ------------------------------------------------------";
     1.5  "----------- re-build: fun find_next_step, mini ------------------------------------------------";
     1.6  "----------- re-build: fun locate_input_term ---------------------------------------------------";
     1.7 -"----------- simpl.rat.term, problems with Check_Postcond --------------------------------------";
     1.8  "-----------------------------------------------------------------------------------------------";
     1.9  "-----------------------------------------------------------------------------------------------";
    1.10  "-----------------------------------------------------------------------------------------------";
    1.11 @@ -472,6 +471,3 @@
    1.12  
    1.13  
    1.14  
    1.15 -"----------- simpl.rat.term, problems with Check_Postcond --------------------------------------";
    1.16 -"----------- simpl.rat.term, problems with Check_Postcond --------------------------------------";
    1.17 -"----------- simpl.rat.term, problems with Check_Postcond --------------------------------------";