src/Tools/code/code_funcgr.ML

   in raw_eval thy f' end;
 
 end; (*local*)
 
 structure Funcgr = CodeDataFun
-(struct
+(
   type T = T;
   val empty = Graph.empty;
   fun merge _ _ = Graph.empty;
   fun purge _ NONE _ = Graph.empty
     | purge _ (SOME cs) funcgr =
         Graph.del_nodes ((Graph.all_preds funcgr 
           o filter (can (Graph.get_node funcgr))) cs) funcgr;
-end);
+);
 
 fun make thy =
   Funcgr.change thy o ensure_consts thy (Code.coregular_algebra thy);
 
 fun make_consts thy =