1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Wed Jan 11 09:23:18 2023 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Wed Jan 11 11:38:01 2023 +0100
     1.3 @@ -124,7 +124,7 @@
     1.4    open P_Model;                (* NONE *)
     1.5    open Rewrite;
     1.6    open Eval;                   get_pair;
     1.7 -  open TermC;                  atomt;
     1.8 +  open TermC;
     1.9    open Rule;
    1.10    open Rule_Set;               Sequence;
    1.11    open Eval_Def