1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Dec 21 11:27:22 2016 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Thu Dec 22 10:25:49 2016 +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;                  (*? ?*)  *)
     1.8 +  open Ctree;                  append_problem;
     1.9    open Specify;                show_ptyps;
    1.10    open Applicable;             (*TODO*)
    1.11    open Solve;                  (*TODO*)