1.1 --- a/test/Tools/isac/Test_Isac.thy	Fri Jan 06 15:52:58 2017 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Mon Jan 09 14:47:24 2017 +0100
     1.3 @@ -76,7 +76,7 @@
     1.4    open Rtools;                 trtas2str;
     1.5    open Chead;                  pt_extract;
     1.6    open Generate;               (*NONE*)
     1.7 -  open Ctree;                  append_problem;
     1.8 +  open Ctree;                  cappend_problem;
     1.9    open Specify;                show_ptyps;
    1.10    open Applicable;             (*NONE*)
    1.11    open Solve;                  (*NONE*)