1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Apr 22 16:53:03 2020 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Thu Apr 23 09:29:56 2020 +0200
     1.3 @@ -100,7 +100,7 @@
     1.4    open Error_Fill_Pattern;
     1.5    open Error_Fill_Def;
     1.6    open In_Chead;
     1.7 -  open Rtools;                 trtas2str;
     1.8 +  open Rtools;                 .trtas2str;
     1.9    open Chead;                  pt_extract;
    1.10    open Generate;               (* NONE *)
    1.11    open Ctree;                  append_problem;