src/Pure/Tools/codegen_thingol.ML

           |> Graph.all_succs code
           |> subtract (op =) deleted
           |> subtract (op =) hidden;
   in
     code
-    |> Graph.project (member (op =) selected)
+    |> Graph.subgraph (member (op =) selected)
   end;
 
 fun check_samemodule names =
   fold (fn name =>
     let